[INFO] cloning repository https://github.com/brandonfromph/mirr-project
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/brandonfromph/mirr-project" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbrandonfromph%2Fmirr-project", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbrandonfromph%2Fmirr-project'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] b2d5daf4dd4e6e2a3d21c9ff393d29d0ac41c2f3
[INFO] testing brandonfromph/mirr-project against master#1f7f8ea0721a3b1eb73e6c6d25cccb371434b320 for pr-154065
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbrandonfromph%2Fmirr-project" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-2-tc1/source/.cargo/config.toml
[INFO] removed /workspace/builds/worker-2-tc1/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/brandonfromph/mirr-project
[INFO] finished tweaking git repo https://github.com/brandonfromph/mirr-project
[INFO] tweaked toml for git repo https://github.com/brandonfromph/mirr-project written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/brandonfromph/mirr-project on toolchain 1f7f8ea0721a3b1eb73e6c6d25cccb371434b320
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/brandonfromph/mirr-project already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded kqueue v1.1.1
[INFO] [stderr]   Downloaded filetime v0.2.27
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] ce7d8abe1ab74b4aea1c777ef1f3007db5419867f29c6a8e7690b08dc1a328f6
[INFO] running `Command { std: "docker" "start" "-a" "ce7d8abe1ab74b4aea1c777ef1f3007db5419867f29c6a8e7690b08dc1a328f6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ce7d8abe1ab74b4aea1c777ef1f3007db5419867f29c6a8e7690b08dc1a328f6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ce7d8abe1ab74b4aea1c777ef1f3007db5419867f29c6a8e7690b08dc1a328f6", kill_on_drop: false }`
[INFO] [stdout] ce7d8abe1ab74b4aea1c777ef1f3007db5419867f29c6a8e7690b08dc1a328f6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 2b5fb5e096bde4a0199c8c790a666f3922397b5a2f3b9de67614a1ba036158a8
[INFO] running `Command { std: "docker" "start" "-a" "2b5fb5e096bde4a0199c8c790a666f3922397b5a2f3b9de67614a1ba036158a8", kill_on_drop: false }`
[INFO] [stderr]    Compiling anstyle v1.0.13
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling clap_lex v1.0.0
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling memchr v2.8.0
[INFO] [stderr]    Compiling anstream v0.6.21
[INFO] [stderr]    Compiling clap_builder v4.5.60
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling clap_derive v4.5.55
[INFO] [stderr]    Compiling clap v4.5.60
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling nasa-rust-project v0.3.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 34.16s
[INFO] running `Command { std: "docker" "inspect" "2b5fb5e096bde4a0199c8c790a666f3922397b5a2f3b9de67614a1ba036158a8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2b5fb5e096bde4a0199c8c790a666f3922397b5a2f3b9de67614a1ba036158a8", kill_on_drop: false }`
[INFO] [stdout] 2b5fb5e096bde4a0199c8c790a666f3922397b5a2f3b9de67614a1ba036158a8
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 86fce515bbdf54492688c878b8f0590fd8346ba48120be1fcda031e79514e880
[INFO] running `Command { std: "docker" "start" "-a" "86fce515bbdf54492688c878b8f0590fd8346ba48120be1fcda031e79514e880", kill_on_drop: false }`
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling zerocopy v0.8.40
[INFO] [stderr]    Compiling zerocopy-derive v0.8.40
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling libc v0.2.182
[INFO] [stderr]    Compiling ciborium-io v0.2.2
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling getrandom v0.4.1
[INFO] [stderr]    Compiling plotters-backend v0.3.7
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling plotters-svg v0.3.7
[INFO] [stderr]    Compiling cast v0.3.0
[INFO] [stderr]    Compiling linux-raw-sys v0.12.1
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]    Compiling nasa-rust-project v0.3.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling criterion-plot v0.5.0
[INFO] [stderr]    Compiling is-terminal v0.4.17
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling anes v0.1.6
[INFO] [stderr]    Compiling oorandom v11.1.5
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling tempfile v3.26.0
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling criterion v0.5.1
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1m 30s
[INFO] running `Command { std: "docker" "inspect" "86fce515bbdf54492688c878b8f0590fd8346ba48120be1fcda031e79514e880", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "86fce515bbdf54492688c878b8f0590fd8346ba48120be1fcda031e79514e880", kill_on_drop: false }`
[INFO] [stdout] 86fce515bbdf54492688c878b8f0590fd8346ba48120be1fcda031e79514e880
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] c1196765e249623752a83ded325391ac38593f08e9df5135c81efa3e6f940c08
[INFO] running `Command { std: "docker" "start" "-a" "c1196765e249623752a83ded325391ac38593f08e9df5135c81efa3e6f940c08", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.25s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/nasa_rust_project-80aa0280d4bbb718)
[INFO] [stdout] 
[INFO] [stdout] running 420 tests
[INFO] [stdout] test cert::tests::test_certificate_roundtrip ... ok
[INFO] [stdout] test cert::tests::test_primitive_recursive_strategy_roundtrip ... ok
[INFO] [stdout] test cert::tests::test_resource_constrained_strategy_roundtrip ... ok
[INFO] [stdout] test bootstrap_runner::tests::test_bootstrap_parse_error_captured ... ok
[INFO] [stdout] test bootstrap_runner::tests::test_bootstrap_emit_json_flag ... ok
[INFO] [stdout] test bootstrap_runner::tests::test_bootstrap_neonatal_passes_all_stages ... ok
[INFO] [stdout] test bootstrap_runner::tests::test_summary_line_format ... ok
[INFO] [stdout] test diagnostic::tests::test_build_caret_line_single ... ok
[INFO] [stdout] test diagnostic::tests::test_get_source_line ... ok
[INFO] [stdout] test diagnostic::tests::test_line_number_width ... ok
[INFO] [stdout] test diagnostic::tests::test_max_labels_bounded ... ok
[INFO] [stdout] test diagnostic::tests::test_render_error_no_span ... ok
[INFO] [stdout] test diagnostic::tests::test_render_full_line_span ... ok
[INFO] [stdout] test diagnostic::tests::test_render_error_with_span ... ok
[INFO] [stdout] test diagnostic::tests::test_severity_display ... ok
[INFO] [stdout] test diagnostic::tests::test_truncate_line ... ok
[INFO] [stdout] test diagnostic::tests::test_warning_builder ... ok
[INFO] [stdout] test emit::dsp::tests::test_dsp_nested_multiply ... ok
[INFO] [stdout] test emit::dsp::tests::test_dsp_detects_multiply ... ok
[INFO] [stdout] test emit::dsp::tests::test_dsp_no_multiply ... ok
[INFO] [stdout] test bootstrap_runner::tests::test_bootstrap_with_fixture_root_passes_parity ... ok
[INFO] [stdout] test emit::dsp::tests::test_dsp_respects_max_candidates ... ok
[INFO] [stdout] test emit::mape_k_rtl::tests::bit_width_values ... ok
[INFO] [stdout] test emit::mape_k_rtl::tests::monitor_block_contains_shadow_regs ... ok
[INFO] [stdout] test emit::mape_k_rtl::tests::no_display_in_output ... ok
[INFO] [stdout] test emit::mape_k_rtl::tests::knowledge_block_contains_fifo ... ok
[INFO] [stdout] test emit::mape_k_rtl::tests::plan_block_contains_action_selection ... ok
[INFO] [stdout] test emit::mape_k_rtl::tests::predicate_to_sv_greater_than ... ok
[INFO] [stdout] test emit::mape_k_rtl::tests::predicate_to_sv_in_range ... ok
[INFO] [stdout] test emit::mape_k_rtl::tests::predicate_to_sv_is_true ... ok
[INFO] [stdout] test emit::mape_k_rtl::tests::predicate_to_sv_less_than ... ok
[INFO] [stdout] test emit::mape_k_rtl::tests::top_block_wires_all_submodules ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_alu_b_register_overflow_returns_e706 ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_alu_imm_comparison_op_overflow_returns_e706 ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_emit_binary_program ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_alu_add ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_alu_unary_not ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_alu_imm ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_assert_never ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_ctr_init ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_ctr_query ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_ctr_tick ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_emergency_stop ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_guard_and ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_guard_or ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_load_imm ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_load_input ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_mov ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_prev ... ok
[INFO] [stdout] test bootstrap_runner::tests::test_bootstrap_emit_verilog_flag ... ok
[INFO] [stdout] test cert::tests::test_sha256_empty ... ok
[INFO] [stdout] test diagnostic::tests::test_build_caret_line_full ... ok
[INFO] [stdout] test diagnostic::tests::test_render_with_note_and_help ... ok
[INFO] [stdout] test emit::mape_k_rtl::tests::analyze_block_contains_property_checkers ... ok
[INFO] [stdout] test emit::mape_k_rtl::tests::execute_block_contains_emergency_latch ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_assert_always ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_reflex_if ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_sr_init ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_sr_tick ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_sr_query ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_unknown_opcode_returns_e707 ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_roundtrip_all_existing_opcodes ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_v2_roundtrip_halt ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_v2_roundtrip_mode_switch ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_v2_roundtrip_certify ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_v2_roundtrip_deadline_set ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_v2_roundtrip_fence ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_v2_roundtrip_nop ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_v2_roundtrip_tag_load ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_v2_roundtrip_tag_check ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_v2_roundtrip_trap_if ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_v2_roundtrip_verify ... ok
[INFO] [stdout] test emit::rspu_exceptions::tests::test_configure_handler ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_v2_roundtrip_total_check ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_v2_roundtrip_trap ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_v2_roundtrip_tag_read ... ok
[INFO] [stdout] test emit::rspu_exceptions::tests::test_mode_switch ... ok
[INFO] [stdout] test emit::rspu_exceptions::tests::test_exception_state_new ... ok
[INFO] [stdout] test emit::rspu_exceptions::tests::test_halt_prevents_further_exceptions ... ok
[INFO] [stdout] test emit::rspu_exceptions::tests::test_nested_exception_depth_limit ... ok
[INFO] [stdout] test emit::rspu_sim::tests::test_alu_add ... ok
[INFO] [stdout] test emit::rspu_sim::tests::test_assert_always_violation ... ok
[INFO] [stdout] test emit::rspu_sim::tests::test_halt_stops ... ok
[INFO] [stdout] test emit::rspu_sim::tests::test_set_input_read_output ... ok
[INFO] [stdout] test emit::rspu_sim::tests::test_simulator_new ... ok
[INFO] [stdout] test emit::rspu_sim::tests::test_emergency_stop ... ok
[INFO] [stdout] test emit::rspu_tagged::tests::test_bitwise_bool_ok ... ok
[INFO] [stdout] test emit::rspu_tagged::tests::test_check_alu_tags_uninit_fails ... ok
[INFO] [stdout] test emit::rspu_tagged::tests::test_comparison_bool_produces_bool ... ok
[INFO] [stdout] test emit::rspu_tagged::tests::test_check_alu_tags_unsigned_add ... ok
[INFO] [stdout] test emit::rspu_tagged::tests::test_comparison_requires_matching_types ... ok
[INFO] [stdout] test emit::rspu_tagged::tests::test_register_file_new_all_uninitialized ... ok
[INFO] [stdout] test emit::rspu_tagged::tests::test_register_file_write_read ... ok
[INFO] [stdout] test emit::rspu_tagged::tests::test_shift_non_numeric_fails ... ok
[INFO] [stdout] test emit::rspu_tagged::tests::test_tag_from_signal_type ... ok
[INFO] [stdout] test emit::rspu_tagged::tests::test_register_file_read_tag ... ok
[INFO] [stdout] test emit::rspu_tagged::tests::test_shift_preserves_lhs_type ... ok
[INFO] [stdout] test emit::rspu_tagged::tests::test_tagged_word_constructors ... ok
[INFO] [stdout] test emit::sexpr::tests::test_emit_sexpr_empty_module ... ok
[INFO] [stdout] test error::tests::display_backward_compat ... ok
[INFO] [stdout] test error::tests::error_code_rspu_embedded ... ok
[INFO] [stdout] test error::tests::extract_code_from_plain_message ... ok
[INFO] [stdout] test emit::rspu_tagged::tests::test_type_tag_display ... ok
[INFO] [stdout] test error::tests::strip_code_preserves_body ... ok
[INFO] [stdout] test error::tests::extract_code_from_semantic_message ... ok
[INFO] [stdout] test error::tests::strip_code_no_code_passes_through ... ok
[INFO] [stdout] test error::tests::to_diagnostic_parse_fallback_code ... ok
[INFO] [stdout] test error::tests::to_diagnostic_semantic_with_code ... ok
[INFO] [stdout] test hls::binding::tests::test_bind_operations_overlap ... ok
[INFO] [stdout] test hls::binding::tests::test_bind_operations_different_kinds ... ok
[INFO] [stdout] test hls::binding::tests::test_bind_operations_no_overlap ... ok
[INFO] [stdout] test hls::binding::tests::test_bind_operations_single ... ok
[INFO] [stdout] test hls::binding::tests::test_binding_summary ... ok
[INFO] [stdout] test hls::binding::tests::test_binding_debug ... ok
[INFO] [stdout] test hls::binding::tests::test_count_physical_resources ... ok
[INFO] [stdout] test hls::binding::tests::test_validate_bindings_different_group ... ok
[INFO] [stdout] test hls::binding::tests::test_count_physical_resources_empty ... ok
[INFO] [stdout] test hls::binding::tests::test_validate_bindings_same_group ... ok
[INFO] [stdout] test hls::fifo::tests::test_fifo_count ... ok
[INFO] [stdout] test hls::fifo::tests::test_emit_fifo_verilog ... ok
[INFO] [stdout] test hls::fifo::tests::test_bits_needed ... ok
[INFO] [stdout] test hls::fifo::tests::test_fifo_empty_pop ... ok
[INFO] [stdout] test hls::fifo::tests::test_fifo_full ... ok
[INFO] [stdout] test hls::fifo::tests::test_fifo_handshake ... ok
[INFO] [stdout] test hls::fifo::tests::test_fifo_new ... ok
[INFO] [stdout] test hls::fifo::tests::test_fifo_new_exceeds_max ... ok
[INFO] [stdout] test hls::fifo::tests::test_fifo_new_invalid_depth ... ok
[INFO] [stdout] test hls::fifo::tests::test_fifo_push_pop ... ok
[INFO] [stdout] test hls::fifo::tests::test_fifo_stats ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_store_output ... ok
[INFO] [stdout] test emit::rspu_exceptions::tests::test_raise_and_clear_exception ... ok
[INFO] [stdout] test hls::fifo::tests::test_synthesize_fifo_invalid ... ok
[INFO] [stdout] test hls::fifo::tests::test_fifo_total_width ... ok
[INFO] [stdout] test hls::fifo::tests::test_synthesize_fifo ... ok
[INFO] [stdout] test hls::fifo::tests::test_fifo_wrap_around ... ok
[INFO] [stdout] test emit::rspu_tagged::tests::test_arithmetic_mixed_signedness_fails ... ok
[INFO] [stdout] test hls::fifo::tests::test_validate_fifo ... ok
[INFO] [stdout] test hls::schedule::tests::test_alap_chain ... ok
[INFO] [stdout] test hls::schedule::tests::test_alap_invalid_latency ... ok
[INFO] [stdout] test hls::schedule::tests::test_asap_chain ... ok
[INFO] [stdout] test hls::schedule::tests::test_mobility_computation ... ok
[INFO] [stdout] test hls::schedule::tests::test_asap_diamond ... ok
[INFO] [stdout] test hls::schedule::tests::test_schedule_summary ... ok
[INFO] [stdout] test hls::schedule::tests::test_asap_single_op ... ok
[INFO] [stdout] test hls::sharing::tests::test_can_share_different_kind ... ok
[INFO] [stdout] test hls::sharing::tests::test_can_share_same_kind_overlap ... ok
[INFO] [stdout] test hls::sharing::tests::test_find_shareable_ops_no_overlap ... ok
[INFO] [stdout] test hls::sharing::tests::test_sharing_stats ... ok
[INFO] [stdout] test hls::sharing::tests::test_find_shareable_ops_two_adds ... ok
[INFO] [stdout] test hls::tests::test_op_dag_add_edge ... ok
[INFO] [stdout] test hls::tests::test_op_dag_add_op ... ok
[INFO] [stdout] test hls::sharing::tests::test_can_share_same_kind_no_overlap ... ok
[INFO] [stdout] test hls::sharing::tests::test_find_shareable_ops_max_groups ... ok
[INFO] [stdout] test hls::sharing::tests::test_sharing_summary ... ok
[INFO] [stdout] test hls::tests::test_op_dag_max_operations ... ok
[INFO] [stdout] test lsp::diagnostics::tests::error_code_extracted_from_message ... ok
[INFO] [stdout] test hls::tests::test_op_dag_new ... ok
[INFO] [stdout] test lsp::diagnostics::tests::error_code_none_when_absent ... ok
[INFO] [stdout] test lsp::diagnostics::tests::error_with_span_maps_to_correct_range ... ok
[INFO] [stdout] test lsp::diagnostics::tests::error_without_span_maps_to_zero_range ... ok
[INFO] [stdout] test lsp::diagnostics::tests::rspu_error_severity_is_warning ... ok
[INFO] [stdout] test lsp::diagnostics::tests::semantic_error_severity_is_error ... ok
[INFO] [stdout] test lsp::transport::tests::test_read_message_basic ... ok
[INFO] [stdout] test lsp::transport::tests::test_read_message_missing_content_length ... ok
[INFO] [stdout] test lsp::transport::tests::test_write_message_roundtrip ... ok
[INFO] [stdout] test lsp::server::tests::initialize_returns_capabilities ... ok
[INFO] [stdout] test lsp::transport::tests::test_read_message_too_large ... ok
[INFO] [stdout] test lsp::transport::tests::test_read_message_eof ... ok
[INFO] [stdout] test lsp::server::tests::did_open_publishes_diagnostics_for_valid_source ... ok
[INFO] [stdout] test mape_k::analyzer::tests::always_followed_by_checks_delay ... ok
[INFO] [stdout] test mape_k::analyzer::tests::always_implies_violated_when_antecedent_true_and_consequent_false ... ok
[INFO] [stdout] test mape_k::analyzer::tests::always_violated ... ok
[INFO] [stdout] test lsp::server::tests::did_open_publishes_error_for_invalid_source ... ok
[INFO] [stdout] test mape_k::analyzer::tests::eventually_within_violated ... ok
[INFO] [stdout] test mape_k::analyzer::tests::eventually_within_satisfied ... ok
[INFO] [stdout] test mape_k::analyzer::tests::eventually_within_window_boundary ... ok
[INFO] [stdout] test mape_k::analyzer::tests::multiple_properties ... ok
[INFO] [stdout] test mape_k::analyzer::tests::never_implies_satisfied_when_antecedent_true_and_consequent_false_exists ... ok
[INFO] [stdout] test mape_k::analyzer::tests::persists_broken_run ... ok
[INFO] [stdout] test mape_k::analyzer::tests::always_satisfied ... ok
[INFO] [stdout] test mape_k::analyzer::tests::persists_exact_boundary ... ok
[INFO] [stdout] test mape_k::analyzer::tests::persists_satisfied ... ok
[INFO] [stdout] test mape_k::bridge::tests::action_table_graduated_by_property_kind ... ok
[INFO] [stdout] test mape_k::bridge::tests::action_table_reduces_on_implies_properties ... ok
[INFO] [stdout] test mape_k::bridge::tests::always_implies_lowers_to_temporal_property ... ok
[INFO] [stdout] test mape_k::bridge::tests::all_signals_become_sensors_with_observable_flag ... ok
[INFO] [stdout] test mape_k::bridge::tests::always_signal_lowers_to_always_is_true ... ok
[INFO] [stdout] test mape_k::bridge::tests::bool_sensor_defaults ... ok
[INFO] [stdout] test mape_k::bridge::tests::cover_and_assume_are_skipped ... ok
[INFO] [stdout] test mape_k::bridge::tests::binary_lt_lowers_to_less_than ... ok
[INFO] [stdout] test mape_k::bridge::tests::eventually_within_lowers_correctly ... ok
[INFO] [stdout] test mape_k::bridge::tests::extract_signal_from_nested_expr ... ok
[INFO] [stdout] test mape_k::bridge::tests::empty_module_produces_empty_config ... ok
[INFO] [stdout] test mape_k::bridge::tests::binary_gt_lowers_to_greater_than ... ok
[INFO] [stdout] test mape_k::bridge::tests::max_unsigned_value_edge_cases ... ok
[INFO] [stdout] test mape_k::bridge::tests::never_signal_lowers_to_always_less_than_one ... ok
[INFO] [stdout] test mape_k::bridge::tests::unsigned_sensor_midpoint ... ok
[INFO] [stdout] test mape_k::executor::tests::clear_emergency ... ok
[INFO] [stdout] test mape_k::executor::tests::emergency_stop_zeros_all ... ok
[INFO] [stdout] test mape_k::executor::tests::switch_mode_records ... ok
[INFO] [stdout] test mape_k::executor::tests::set_signal_unknown_fails ... ok
[INFO] [stdout] test mape_k::bridge::tests::too_many_signals_produces_error ... ok
[INFO] [stdout] test mape_k::knowledge::tests::clear_resets ... ok
[INFO] [stdout] test mape_k::knowledge::tests::record_and_retrieve ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_overflow_returns_e706 ... ok
[INFO] [stdout] test mape_k::knowledge::tests::json_serialization ... ok
[INFO] [stdout] test mape_k::ltl::tests::predicate_in_range ... ok
[INFO] [stdout] test mape_k::knowledge::tests::ring_buffer_eviction ... ok
[INFO] [stdout] test mape_k::executor::tests::set_signal_success ... ok
[INFO] [stdout] test mape_k::ltl::tests::predicate_is_true_nonzero ... ok
[INFO] [stdout] test mape_k::ltl::tests::predicate_less_than ... ok
[INFO] [stdout] test mape_k::ltl::tests::predicate_greater_than ... ok
[INFO] [stdout] test mape_k::ltl::tests::temporal_property_signal_name ... ok
[INFO] [stdout] test mape_k::ltl::tests::temporal_property_signal_name_for_multi_signal ... ok
[INFO] [stdout] test mape_k::monitor::tests::monitor_ignores_unknown_signal ... ok
[INFO] [stdout] test mape_k::monitor::tests::ring_buffer_basic_push_get ... ok
[INFO] [stdout] test mape_k::monitor::tests::ring_buffer_clear ... ok
[INFO] [stdout] test mape_k::monitor::tests::ring_buffer_iter ... ok
[INFO] [stdout] test mape_k::partition::tests::component_tag_labels ... ok
[INFO] [stdout] test mape_k::monitor::tests::monitor_reset ... ok
[INFO] [stdout] test mape_k::ltl::tests::predicate_signal_name ... ok
[INFO] [stdout] test mape_k::monitor::tests::ring_buffer_wraps_around ... ok
[INFO] [stdout] test mape_k::monitor::tests::monitor_records_and_windows ... ok
[INFO] [stdout] test mape_k::partition::tests::component_tag_target_mapping ... ok
[INFO] [stdout] test mape_k::partition::tests::partition_config_default ... ok
[INFO] [stdout] test mape_k::partition::tests::fpga_partition_has_monitor_and_executor ... ok
[INFO] [stdout] test mape_k::partition::tests::default_partition_has_five_components ... ok
[INFO] [stdout] test mape_k::partition::tests::arm_partition_has_analyzer_and_planner ... ok
[INFO] [stdout] test mape_k::planner::tests::action_label_formatting ... ok
[INFO] [stdout] test mape_k::planner::tests::select_from_multiple_violations ... ok
[INFO] [stdout] test mape_k::planner::tests::select_highest_priority ... ok
[INFO] [stdout] test mape_k::planner::tests::select_on_satisfaction ... ok
[INFO] [stdout] test mape_k::planner::tests::select_no_match ... ok
[INFO] [stdout] test mape_k::partition::tests::shared_partition_has_knowledge_bus ... ok
[INFO] [stdout] test mape_k::sensor::tests::deterministic_same_seed ... ok
[INFO] [stdout] test mape_k::sensor::tests::different_seed_different_output ... ok
[INFO] [stdout] test mape_k::sensor::tests::fault_with_end_tick ... ok
[INFO] [stdout] test mape_k::sensor::tests::noise_stays_in_range ... ok
[INFO] [stdout] test mape_k::sensor::tests::reset_reproduces_sequence ... ok
[INFO] [stdout] test mape_k::sensor::tests::zero_noise_returns_base ... ok
[INFO] [stdout] test mape_k::planner::tests::select_single_match ... ok
[INFO] [stdout] test mirr_runtime::tests::map_ident_push ... ok
[INFO] [stdout] test mirr_runtime::tests::map_integer_push ... ok
[INFO] [stdout] test mape_k::sensor::tests::fault_injection ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::assignment_rejects_empty_rhs ... ok
[INFO] [stdout] test mirr_runtime::tests::push_mapped_token_appends ... ok
[INFO] [stdout] test mirr_driver::tests::drive_lexer_emits_expected_pushes_and_tokens ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::assignment_rejects_empty_target ... ok
[INFO] [stdout] test mirr_driver::tests::drive_lexer_ident_and_keywords ... ok
[INFO] [stdout] test mirr_driver::tests::collect_tokens_simple ... ok
[INFO] [stdout] test mirr_runtime::tests::token_buffer_capacity_constant ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::assignment_rejects_missing_equals ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::assignment_strips_inline_comment ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::guard_rejects_empty_name ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::guard_parses_correctly ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::guard_rejects_eof_mid_body ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::reflex_parses_on_block_form ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::reflex_parses_inline_when_form ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::reflex_rejects_missing_on_clause ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::multi_reflex_index_advances_correctly ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::reflex_rejects_empty_assignments ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::guard_rejects_missing_when ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::reflex_rejects_unclosed_brace ... ok
[INFO] [stdout] test sat::cnf::tests::and_produces_three_clauses ... ok
[INFO] [stdout] test sat::cnf::tests::literal_true_produces_unit_clause ... ok
[INFO] [stdout] test sat::cnf::tests::not_produces_two_clauses ... ok
[INFO] [stdout] test sat::cnf::tests::truncated_flag_on_overflow ... ok
[INFO] [stdout] test sat::simplify_sat::tests::double_negation_verified ... ok
[INFO] [stdout] test sat::cnf::tests::literal_false_produces_negated_unit ... ok
[INFO] [stdout] test sat::simplify_sat::tests::identical_expr_no_check ... ok
[INFO] [stdout] test sat::simplify_sat::tests::structural_equality_different_expr ... ok
[INFO] [stdout] test sat::simplify_sat::tests::is_boolean_rejects_arithmetic ... ok
[INFO] [stdout] test sat::simplify_sat::tests::structural_equality_same_expr ... ok
[INFO] [stdout] test sat::simplify_sat::tests::is_boolean_pure_boolean ... ok
[INFO] [stdout] test sat::solver::tests::contradiction_is_unsat ... ok
[INFO] [stdout] test mirr_runtime::tests::token_buffer_push_overflow ... ok
[INFO] [stdout] test sat::solver::tests::empty_formula_is_sat ... ok
[INFO] [stdout] test sat::solver::tests::single_positive_literal ... ok
[INFO] [stdout] test sat::solver::tests::unit_propagation_works ... ok
[INFO] [stdout] test span::tests::merge_spans ... ok
[INFO] [stdout] test span::tests::single_line_span ... ok
[INFO] [stdout] test span::tests::full_line_span ... ok
[INFO] [stdout] test suggest::tests::test_closest_match_empty ... ok
[INFO] [stdout] test suggest::tests::test_closest_match_found ... ok
[INFO] [stdout] test suggest::tests::test_closest_match_skips_identical ... ok
[INFO] [stdout] test sat::solver::tests::two_variable_unsat ... ok
[INFO] [stdout] test suggest::tests::test_closest_match_too_far ... ok
[INFO] [stdout] test suggest::tests::test_levenshtein_multiple ... ok
[INFO] [stdout] test suggest::tests::test_levenshtein_empty ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::reflex_body_bound_enforced ... ok
[INFO] [stdout] test sat::solver::tests::two_variable_sat ... ok
[INFO] [stdout] test suggest::tests::test_levenshtein_single_edit ... ok
[INFO] [stdout] test suggest::tests::test_levenshtein_identical ... ok
[INFO] [stdout] test symbolic::diff::tests::diff_comparison ... ok
[INFO] [stdout] test symbolic::diff::tests::diff_constant ... ok
[INFO] [stdout] test symbolic::diff::tests::diff_other_signal ... ok
[INFO] [stdout] test symbolic::diff::tests::diff_not ... ok
[INFO] [stdout] test symbolic::diff::tests::diff_prev ... ok
[INFO] [stdout] test symbolic::diff::tests::diff_product_same ... ok
[INFO] [stdout] test symbolic::diff::tests::diff_sum_with_constant ... ok
[INFO] [stdout] test symbolic::diff::tests::diff_product_with_constant ... ok
[INFO] [stdout] test symbolic::diff::tests::diff_same_signal ... ok
[INFO] [stdout] test symbolic::pattern::tests::test_match_word_respects_max_bound ... ok
[INFO] [stdout] test symbolic::pattern::tests::test_tag_to_byte_all_variants ... ok
[INFO] [stdout] test symbolic::diff::tests::diff_sum_signals ... ok
[INFO] [stdout] test symbolic::tests::concrete_add ... ok
[INFO] [stdout] test symbolic::pattern::tests::test_match_word_wildcard_tag ... ok
[INFO] [stdout] test symbolic::pattern::tests::test_match_word_first_match_wins ... ok
[INFO] [stdout] test symbolic::tests::eval_binary_expr ... ok
[INFO] [stdout] test symbolic::pattern::tests::test_match_word_value_mask ... ok
[INFO] [stdout] test symbolic::pattern::tests::test_match_word_no_match_returns_continue ... ok
[INFO] [stdout] test symbolic::tests::concrete_lt_false ... ok
[INFO] [stdout] test symbolic::tests::concrete_lt_true ... ok
[INFO] [stdout] test symbolic::pattern::tests::test_match_word_empty_patterns ... ok
[INFO] [stdout] test symbolic::tests::eval_literal_bool ... ok
[INFO] [stdout] test symbolic::tests::eval_literal_integer ... ok
[INFO] [stdout] test symbolic::tests::eval_nested_binary ... ok
[INFO] [stdout] test symbolic::tests::eval_prev_is_top ... ok
[INFO] [stdout] test symbolic::tests::eval_signal_not_found_is_top ... ok
[INFO] [stdout] test symbolic::tests::refinement_top_is_false ... ok
[INFO] [stdout] test symbolic::tests::eval_unary_expr ... ok
[INFO] [stdout] test symbolic::tests::unary_negate_widens ... ok
[INFO] [stdout] test symbolic::tests::refinement_concrete_in_range ... ok
[INFO] [stdout] test symbolic::tests::eval_signal_found ... ok
[INFO] [stdout] test symbolic::tests::refinement_concrete_out_of_range ... ok
[INFO] [stdout] test symbolic::tests::unary_not_concrete ... ok
[INFO] [stdout] test symbolic::tests::top_absorbs ... ok
[INFO] [stdout] test symbolic::tests::lookup_returns_top_for_empty ... ok
[INFO] [stdout] test symbolic::tests::widen_same_is_stable ... ok
[INFO] [stdout] test temporal::clock_domain::tests::default_domain_always_present ... ok
[INFO] [stdout] test temporal::clock_domain::tests::extract_domain_from_suffix ... ok
[INFO] [stdout] test temporal::clock_domain::tests::domain_count_bounded ... ok
[INFO] [stdout] test temporal::clock_domain::tests::no_crossings_in_single_domain ... ok
[INFO] [stdout] test temporal::compiler::tests::test_condition_kind_stored_in_compiled_ir ... ok
[INFO] [stdout] test temporal::clock_domain::tests::signal_domain_default ... ok
[INFO] [stdout] test temporal::compiler::tests::test_counter_compilation ... ok
[INFO] [stdout] test temporal::compiler::tests::test_shift_register_compilation ... ok
[INFO] [stdout] test symbolic::tests::unknown_widens_to_max ... ok
[INFO] [stdout] test symbolic::tests::widen_intervals_to_unknown ... ok
[INFO] [stdout] test temporal::compiler::tests::test_strategy_selection ... ok
[INFO] [stdout] test symbolic::tests::widen_concrete_to_interval ... ok
[INFO] [stdout] test temporal::low_level_ir::tests::test_condition_kind_all_comparison_ops_accepted ... ok
[INFO] [stdout] test temporal::low_level_ir::tests::test_condition_kind_describe ... ok
[INFO] [stdout] test temporal::emit::tests::test_json_contains_guard_name ... ok
[INFO] [stdout] test temporal::emit::tests::test_dot_starts_with_digraph ... ok
[INFO] [stdout] test temporal::emit::tests::test_dot_contains_cluster ... ok
[INFO] [stdout] test temporal::compiler::tests::test_resource_estimation ... ok
[INFO] [stdout] test temporal::low_level_ir::tests::test_condition_kind_logical_ops_rejected ... ok
[INFO] [stdout] test temporal::low_level_ir::tests::test_counter_guard_creation ... ok
[INFO] [stdout] test temporal::low_level_ir::tests::test_generated_signal_creation ... ok
[INFO] [stdout] test temporal::low_level_ir::tests::test_netlist_statistics ... ok
[INFO] [stdout] test temporal::low_level_ir::tests::test_shift_register_guard_creation ... ok
[INFO] [stdout] test temporal::retiming::tests::default_config_disabled ... ok
[INFO] [stdout] test temporal::retiming::tests::retiming_bounded_passes ... ok
[INFO] [stdout] test temporal::retiming::tests::empty_netlist_no_change ... ok
[INFO] [stdout] test toolchain::eqy::tests::test_eqy_config_generation ... ok
[INFO] [stdout] test toolchain::formal::tests::test_depth_clamp_in_config ... ok
[INFO] [stdout] test temporal::retiming::tests::graph_node_bound ... ok
[INFO] [stdout] test toolchain::formal::tests::test_default_config ... ok
[INFO] [stdout] test toolchain::formal::tests::test_parse_verdicts_fail ... ok
[INFO] [stdout] test toolchain::eqy::tests::test_eqy_config_mingw_paths ... ok
[INFO] [stdout] test toolchain::formal::tests::test_parse_verdicts_mixed ... ok
[INFO] [stdout] test toolchain::formal::tests::test_parse_verdicts_ignores_non_sby_lines ... ok
[INFO] [stdout] test toolchain::icetime::tests::test_timing_result_default ... ok
[INFO] [stdout] test toolchain::formal::tests::test_derive_sby_path ... ok
[INFO] [stdout] test toolchain::icetime::tests::test_parse_frequency_no_match ... ok
[INFO] [stdout] test toolchain::formal::tests::test_parse_verdicts_pass ... ok
[INFO] [stdout] test toolchain::sby::tests::test_engine_from_str ... ok
[INFO] [stdout] test toolchain::icetime::tests::test_parse_frequency ... ok
[INFO] [stdout] test toolchain::sby::tests::test_engine_names ... ok
[INFO] [stdout] test toolchain::sby::tests::test_parse_sby_output_cover ... ok
[INFO] [stdout] test toolchain::sby::tests::test_parse_sby_output_empty ... ok
[INFO] [stdout] test toolchain::sby::tests::test_parse_sby_output_unknown ... ok
[INFO] [stdout] test toolchain::sby::tests::test_sby_config_generation_bmc_only ... ok
[INFO] [stdout] test toolchain::sby::tests::test_sby_config_generation_with_cover ... ok
[INFO] [stdout] test toolchain::sby::tests::test_parse_sby_output_fail_with_step ... ok
[INFO] [stdout] test toolchain::sby::tests::test_sby_config_mingw_paths ... ok
[INFO] [stdout] test toolchain::sby::tests::test_parse_sby_output_pass ... ok
[INFO] [stdout] test toolchain::sby::tests::test_parse_sby_output_skips_non_sby_lines ... ok
[INFO] [stdout] test toolchain::sby::tests::test_sby_config_depth_clamped ... ok
[INFO] [stdout] test toolchain::sby::tests::test_sby_config_generation_all_tasks ... ok
[INFO] [stdout] test toolchain::sby::tests::test_sby_config_generation_with_prove ... ok
[INFO] [stdout] test toolchain::tests::test_normalize_path_for_mingw ... ok
[INFO] [stdout] test toolchain::tests::test_registry_probe_unavailable ... ok
[INFO] [stdout] test toolchain::tests::test_normalize_path_already_forward ... ok
[INFO] [stdout] test toolchain::tests::test_toolchain_error_display ... ok
[INFO] [stdout] test toolchain::verilator::tests::test_verilator_result_default ... ok
[INFO] [stdout] test toolchain::verilator::tests::test_lint_path_normalization ... ok
[INFO] [stdout] test totality::tests::test_combinational_cycle_detected ... ok
[INFO] [stdout] test totality::tests::test_temporal_bound ... ok
[INFO] [stdout] test totality::tests::test_undriven_output_fails_completeness ... ok
[INFO] [stdout] test totality::tests::test_total_module_passes_all ... ok
[INFO] [stdout] test typeck::extended::tests::base_max_value_bool ... ok
[INFO] [stdout] test typeck::extended::tests::clock_domain_display ... ok
[INFO] [stdout] test typeck::extended::tests::base_max_value_unsigned ... ok
[INFO] [stdout] test typeck::extended::tests::dependent_param_display ... ok
[INFO] [stdout] test toolchain::tests::test_tool_binary_names ... ok
[INFO] [stdout] test totality::tests::test_prev_breaks_cycle ... ok
[INFO] [stdout] test typeck::extended::tests::effective_width_no_refinement ... ok
[INFO] [stdout] test typeck::extended::tests::extended_type_from_base_is_base_only ... ok
[INFO] [stdout] test typeck::extended::tests::extended_type_with_qualifiers ... ok
[INFO] [stdout] test typeck::extended::tests::firrtl_type_with_array ... ok
[INFO] [stdout] test typeck::extended::tests::phantom_tag_display ... ok
[INFO] [stdout] test typeck::extended::tests::error_codes_are_distinct ... ok
[INFO] [stdout] test typeck::extended::tests::effective_width_with_refinement ... ok
[INFO] [stdout] test typeck::extended::tests::extended_signal_decl_from_legacy ... ok
[INFO] [stdout] test typeck::extended::tests::hardware_mapping_synthesis_impact ... ok
[INFO] [stdout] test typeck::extended::tests::extended_type_display ... ok
[INFO] [stdout] test typeck::extended::tests::refinement_bound_display ... ok
[INFO] [stdout] test typeck::extended::tests::refinement_bound_implied_max ... ok
[INFO] [stdout] test typeck::extended::tests::refinement_bound_satisfied ... ok
[INFO] [stdout] test typeck::extended::tests::refinement_width_hint_from_upper_bound ... ok
[INFO] [stdout] test typeck::extended::tests::firrtl_type_scalar ... ok
[INFO] [stdout] test typeck::extended::tests::session_role_display ... ok
[INFO] [stdout] test width::verify::tests::test_verify_width_1_skipped ... ok
[INFO] [stdout] test typeck::extended::tests::type_nat_bounds ... ok
[INFO] [stdout] test width::verify::tests::test_verify_under_solved_triggers_bug ... ok
[INFO] [stdout] test typeck::extended::tests::type_nat_total_width ... ok
[INFO] [stdout] test width::verify::tests::test_verify_empty_input ... ok
[INFO] [stdout] test width::verify::tests::test_verify_minimal_solution ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 420 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.11s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/generate_mirr_stress.rs (/opt/rustwide/target/debug/deps/generate_mirr_stress-4dc95c557c82569d)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/mirr-compile/main.rs (/opt/rustwide/target/debug/deps/mirr_compile-7ef188e08a7fcb5d)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/mirr-diff/main.rs (/opt/rustwide/target/debug/deps/mirr_diff-335cdf11e8f5c674)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/mirr-explain/main.rs (/opt/rustwide/target/debug/deps/mirr_explain-beceb264b4894f38)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/mirr-lsp.rs (/opt/rustwide/target/debug/deps/mirr_lsp-e4b54586fbd7f173)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/mirr-simplify.rs (/opt/rustwide/target/debug/deps/mirr_simplify-8ea1ba4f8a2efce5)
[INFO] [stderr]      Running unittests src/bin/mirr-simulate.rs (/opt/rustwide/target/debug/deps/mirr_simulate-5aa525d9727d573b)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/mirr-width.rs (/opt/rustwide/target/debug/deps/mirr_width-fac171e0f7a9f6f6)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/nasa_rust_project-cd6f396634f81892)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/run_lexer.rs (/opt/rustwide/target/debug/deps/run_lexer-c0bcaae822a63a07)
[INFO] [stderr]      Running tests/allocation_audit.rs (/opt/rustwide/target/debug/deps/allocation_audit-4c097fac138a6697)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stderr]      Running tests/arm_integration_tests.rs (/opt/rustwide/target/debug/deps/arm_integration_tests-5f4231ae194f4922)
[INFO] [stdout] test allocation_audit_hot_path_no_new_allocs_after_init ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test arm_emit_assertions ... ok
[INFO] [stdout] test arm_emit_full_program ... ok
[INFO] [stdout] test arm_emit_counter ... ok
[INFO] [stdout] test arm_emit_empty_program ... ok
[INFO] [stdout] test arm_emit_alu_operations ... ok
[INFO] [stdout] test arm_emit_shift_register ... ok
[INFO] [stdout] test arm_it_blocks ... ok
[INFO] [stdout] test arm_halt_produces_bkpt ... ok
[INFO] [stderr]      Running tests/bootstrap_parity_tests.rs (/opt/rustwide/target/debug/deps/bootstrap_parity_tests-7d50c58d02db75f3)
[INFO] [stdout] test arm_nop_produces_nop ... ok
[INFO] [stdout] test arm_emit_store_output ... ok
[INFO] [stdout] test arm_emit_load_input ... ok
[INFO] [stdout] test arm_thumb2_syntax ... ok
[INFO] [stdout] test arm_emit_reflex_if ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test bootstrap_opcode_constants_match ... ok
[INFO] [stdout] test bootstrap_rspu_roundtrip ... ok
[INFO] [stdout] test bootstrap_parity_signals ... ok
[INFO] [stdout] test bootstrap_parity_guard_reflex ... ok
[INFO] [stdout] test bootstrap_parity_counter ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stderr]      Running tests/bootstrap_runner_extended_core_tests.rs (/opt/rustwide/target/debug/deps/bootstrap_runner_extended_core_tests-9194f655338db6ff)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 34 tests
[INFO] [stdout] test c17_print_report_no_panic_failure ... ok
[INFO] [stdout] test c10_failed_stage_message_non_empty ... ok
[INFO] [stdout] test c13_summary_line_contains_fail_on_error ... ok
[INFO] [stdout] test c14_summary_line_no_trailing_newline ... ok
[INFO] [stdout] test c1_parse_stage_present_in_result ... ok
[INFO] [stdout] test c12_summary_line_contains_pass_on_success ... ok
[INFO] [stdout] test c16_print_report_no_panic_success ... ok
[INFO] [stdout] test c19_emitted_json_contains_ir_version ... ok
[INFO] [stdout] test c20_emit_json_disabled_yields_none ... ok
[INFO] [stdout] test c11_stage_list_never_empty ... ok
[INFO] [stdout] test c15_summary_line_non_empty ... ok
[INFO] [stdout] test c18_emit_json_opt_populates_field ... ok
[INFO] [stdout] test c24_fail_fast_ok_false_on_invalid ... ok
[INFO] [stdout] test c21_emit_verilog_opt_populates_field ... ok
[INFO] [stdout] test c22_emitted_verilog_contains_module_keyword ... ok
[INFO] [stdout] test c23_emit_verilog_disabled_yields_none ... ok
[INFO] [stdout] test c25_fail_fast_stops_early ... ok
[INFO] [stdout] test c27_missing_file_fails_read_stage ... ok
[INFO] [stdout] test c26_fail_fast_passes_valid_input ... ok
[INFO] [stdout] test c28_invalid_syntax_fails_parse_stage ... ok
[INFO] [stdout] test c2_validate_stage_present_in_result ... ok
[INFO] [stdout] test c31_runner_reusable_independent_results ... ok
[INFO] [stdout] test c29_medium_program_passes_all_stages ... ok
[INFO] [stdout] test c32_both_emit_flags_together ... ok
[INFO] [stdout] test c30_neonatal_program_passes_all_stages ... ok
[INFO] [stdout] test c33_bool_signal_compiles ... ok
[INFO] [stdout] test c6_valid_mirr_returns_ok_true ... ok
[INFO] [stdout] test c9_ok_false_when_stage_fails ... ok
[INFO] [stdout] test c34_u32_signal_compiles ... ok
[INFO] [stdout] test c5_all_stage_messages_non_empty ... ok
[INFO] [stdout] test c7_source_path_matches_input ... ok
[INFO] [stdout] test c3_temporal_lower_stage_present ... ok
[INFO] [stderr]      Running tests/bootstrap_runner_extended_stress_tests.rs (/opt/rustwide/target/debug/deps/bootstrap_runner_extended_stress_tests-f9793c2739a66ed4)
[INFO] [stdout] test c4_all_stage_names_non_empty ... ok
[INFO] [stdout] test c8_ok_consistent_with_all_stages_succeeding ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 34 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 20 tests
[INFO] [stdout] test s10_ten_signals_five_properties_compiles ... ok
[INFO] [stdout] test s11_twenty_signals_compiles ... ok
[INFO] [stdout] test s12_eight_properties_compiles ... ok
[INFO] [stdout] test s15_all_opts_disabled_same_as_default ... ok
[INFO] [stdout] test s17_emit_verilog_and_fail_fast_valid_input ... ok
[INFO] [stdout] test s1_empty_file_rejected_gracefully ... ok
[INFO] [stdout] test s13_five_consecutive_runs_consistent ... ok
[INFO] [stdout] test s18_all_output_flags_combined ... ok
[INFO] [stdout] test s14_alternating_pass_fail_independent ... ok
[INFO] [stdout] test s19_fail_fast_bad_src_no_partial_output ... ok
[INFO] [stdout] test s16_emit_json_and_fail_fast_valid_input ... ok
[INFO] [stdout] test s3_single_char_garbage_rejected ... ok
[INFO] [stdout] test s2_whitespace_only_file_rejected ... ok
[INFO] [stdout] test s5_empty_braces_module_does_not_panic ... ok
[INFO] [stdout] test s6_u8_signal_compiles ... ok
[INFO] [stdout] test s20_mixed_in_out_signals_compile ... ok
[INFO] [stdout] test s4_module_no_body_rejected ... ok
[INFO] [stdout] test s7_u16_signal_compiles ... ok
[INFO] [stdout] test s8_u32_signal_compiles ... ok
[INFO] [stdout] test s9_bool_signal_compiles ... ok
[INFO] [stderr]      Running tests/bootstrap_runner_mirr_stages_tests.rs (/opt/rustwide/target/debug/deps/bootstrap_runner_mirr_stages_tests-3ba32cb4a1b46fa4)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test test_mirr_stages_disabled_by_default ... ok
[INFO] [stdout] test test_mirr_semantic_stage_present ... ok
[INFO] [stdout] test test_mirr_stages_with_complex_guard ... ok
[INFO] [stdout] test test_mirr_emitter_stage_present ... ok
[INFO] [stdout] test test_mirr_stages_with_parse_error ... ok
[INFO] [stdout] test test_mirr_stages_enabled_parses_modules ... ok
[INFO] [stdout] test test_mirr_stages_with_multi_signal ... ok
[INFO] [stdout] test test_lexer_driver_with_mirr_stages ... ok
[INFO] [stdout] test test_mirr_stages_all_lexer_examples ... ok
[INFO] [stdout] test test_mirr_temporal_stage_present ... ok
[INFO] [stdout] test test_self_compilation_lexer ... ok
[INFO] [stdout] test test_mirr_parser_stage_present ... ok
[INFO] [stdout] test test_mirr_stages_with_counter_guard ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/codegen_tests.rs (/opt/rustwide/target/debug/deps/codegen_tests-1f46f38131108868)
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test neonatal_firrtl_has_circuit ... ok
[INFO] [stdout] test neonatal_verilog_has_comparison ... ok
[INFO] [stdout] test multi_guard_verilog_has_both_guards ... ok
[INFO] [stdout] test safety_verilog_has_sva_assertions ... ok
[INFO] [stdout] test neonatal_firrtl_has_ports ... ok
[INFO] [stdout] test shift_register_verilog_has_always_ff ... ok
[INFO] [stdout] test shift_register_verilog_has_module_declaration ... ok
[INFO] [stdout] test shift_register_verilog_has_shift_pattern ... ok
[INFO] [stdout] test multi_guard_verilog_has_and_combination ... ok
[INFO] [stdout] test safety_verilog_has_all_property_names ... ok
[INFO] [stdout] test neonatal_verilog_has_counter_pattern ... ok
[INFO] [stderr]      Running tests/debug_parse_multi_guard.rs (/opt/rustwide/target/debug/deps/debug_parse_multi_guard-ed0fd2b616521771)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test debug_parse_multi_guard ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/diagnostic_extended_tests.rs (/opt/rustwide/target/debug/deps/diagnostic_extended_tests-9bfad1503713762d)
[INFO] [stdout] 
[INFO] [stdout] running 85 tests
[INFO] [stdout] test diagnostic_chained_builders ... ok
[INFO] [stdout] test diagnostic_warning_builder_sets_severity ... ok
[INFO] [stdout] test diagnostic_error_builder_sets_severity ... ok
[INFO] [stdout] test diagnostic_with_note_span_adds_spanned_note ... ok
[INFO] [stdout] test diagnostic_with_span_attaches_span ... ok
[INFO] [stdout] test error_code_parse_fallback ... ok
[INFO] [stdout] test error_code_sexpr_fallback ... ok
[INFO] [stdout] test error_code_temporal_fallback ... ok
[INFO] [stdout] test error_code_type_no_fallback ... ok
[INFO] [stdout] test error_code_pattern_fallback ... ok
[INFO] [stdout] test error_code_semantic_no_fallback ... ok
[INFO] [stdout] test labels_at_exactly_max_labels_all_preserved ... ok
[INFO] [stdout] test labels_bounded_at_max_labels ... ok
[INFO] [stdout] test mirr_error_clone_preserves_all_fields ... ok
[INFO] [stdout] test mirr_error_is_std_error ... ok
[INFO] [stdout] test mirr_error_message_accessor ... ok
[INFO] [stdout] test mirr_error_parse_display_includes_e100 ... ok
[INFO] [stdout] test mirr_error_parse_display_with_span_shows_line ... ok
[INFO] [stdout] test mirr_error_pattern_display_includes_e400 ... ok
[INFO] [stdout] test mirr_error_rspu_display_includes_e700 ... ok
[INFO] [stdout] test mirr_error_sexpr_display_includes_e800 ... ok
[INFO] [stdout] test mirr_error_semantic_display_no_code_prefix ... ok
[INFO] [stdout] test mirr_error_span_accessor_none ... ok
[INFO] [stdout] test mirr_error_temporal_display_includes_e300 ... ok
[INFO] [stdout] test mirr_error_with_span_preserves_variant ... ok
[INFO] [stdout] test parse_empty_input_produces_error ... ok
[INFO] [stdout] test parse_garbage_input_produces_parse_error ... ok
[INFO] [stdout] test parse_incomplete_module_produces_error ... ok
[INFO] [stdout] test mirr_error_type_display_no_code_prefix ... ok
[INFO] [stdout] test pipeline_errors_bounded_at_max ... ok
[INFO] [stdout] test pipeline_errors_display_multiple ... ok
[INFO] [stdout] test pipeline_errors_default_is_empty ... ok
[INFO] [stdout] test pipeline_errors_display_single ... ok
[INFO] [stdout] test pipeline_errors_from_single_mirr_error ... ok
[INFO] [stdout] test pipeline_errors_from_vec ... ok
[INFO] [stdout] test pipeline_errors_is_std_error ... ok
[INFO] [stdout] test pipeline_errors_new_is_empty ... ok
[INFO] [stdout] test pipeline_errors_push_accumulates ... ok
[INFO] [stdout] test render_diagnostic_from_mirr_error_parse ... ok
[INFO] [stdout] test pipeline_errors_to_diagnostics ... ok
[INFO] [stdout] test render_diagnostic_from_mirr_error_semantic ... ok
[INFO] [stdout] test render_e2xx_semantic_error_header ... ok
[INFO] [stdout] test diagnostic_with_code_attaches_code ... ok
[INFO] [stdout] test diagnostic_with_help_adds_help_label ... ok
[INFO] [stdout] test diagnostic_with_span_none_leaves_none ... ok
[INFO] [stdout] test render_e5xx_width_error_header ... ok
[INFO] [stdout] test error_code_rspu_fallback ... ok
[INFO] [stdout] test render_e4xx_pattern_error_header ... ok
[INFO] [stdout] test render_e6xx_type_error_header ... ok
[INFO] [stdout] test diagnostic_with_note_adds_note_label ... ok
[INFO] [stdout] test render_e7xx_rspu_error_header ... ok
[INFO] [stdout] test render_e8xx_sexpr_error_header ... ok
[INFO] [stdout] test render_empty_source_with_span_skips_snippet ... ok
[INFO] [stdout] test render_full_line_span_underlines_entire_line ... ok
[INFO] [stdout] test render_help_label_without_span ... ok
[INFO] [stdout] test render_note_label_with_span ... ok
[INFO] [stdout] test render_note_label_without_span ... ok
[INFO] [stdout] test render_multiple_labels ... ok
[INFO] [stdout] test render_no_span_no_code ... ok
[INFO] [stdout] test render_e1xx_parse_error_header ... ok
[INFO] [stdout] test render_gutter_alignment_double_digit_lines ... ok
[INFO] [stdout] test render_diagnostic_multiline_source ... ok
[INFO] [stdout] test render_e3xx_temporal_error_header ... ok
[INFO] [stdout] test render_span_at_line_zero ... ok
[INFO] [stdout] test render_warning_without_code ... ok
[INFO] [stdout] test render_with_span_shows_caret_underline ... ok
[INFO] [stdout] test render_with_span_shows_source_line ... ok
[INFO] [stdout] test render_with_span_shows_location_line ... ok
[INFO] [stdout] test severity_display_help ... ok
[INFO] [stdout] test severity_display_error ... ok
[INFO] [stdout] test severity_display_warning ... ok
[INFO] [stdout] test to_diagnostic_preserves_span ... ok
[INFO] [stdout] test severity_display_info ... ok
[INFO] [stdout] test to_diagnostic_parse_uses_fallback_e100 ... ok
[INFO] [stdout] test to_diagnostic_semantic_without_embedded_code ... ok
[INFO] [stdout] test to_diagnostic_rspu_with_embedded_code ... ok
[INFO] [stdout] test width_diag_display_without_code ... ok
[INFO] [stdout] test width_diag_display_with_code ... ok
[INFO] [stdout] test width_diag_error_builder ... ok
[INFO] [stdout] test width_diag_error_has_error_severity ... ok
[INFO] [stdout] test width_diag_info_builder ... ok
[INFO] [stdout] test to_diagnostic_semantic_with_embedded_code ... ok
[INFO] [stdout] test width_diag_with_code_chain ... ok
[INFO] [stdout] test width_diag_with_help_chain ... ok
[INFO] [stdout] test width_diag_with_signal_chain ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 85 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/diagnostic_render_tests.rs (/opt/rustwide/target/debug/deps/diagnostic_render_tests-f167d4164043fdca)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test render_full_line_span_underlines_content ... ok
[INFO] [stdout] test render_with_note_span ... ok
[INFO] [stdout] test severity_display_variants ... ok
[INFO] [stdout] test render_multi_label ... ok
[INFO] [stdout] test render_semantic_error_with_help ... ok
[INFO] [stdout] test render_error_without_span ... ok
[INFO] [stdout] test render_warning_severity ... ok
[INFO] [stdout] test render_parse_error_with_span ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/emit_dot_tests.rs (/opt/rustwide/target/debug/deps/emit_dot_tests-f86c21d0343a9476)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test dot_prev_in_guard_produces_dashed_red_edge ... ok
[INFO] [stdout] test dot_prev_in_guard_links_signal_to_guard ... ok
[INFO] [stdout] test dot_expr_prev_in_guard_shows_prev_node ... ok
[INFO] [stdout] test dot_internal_signal_uses_ellipse_shape ... ok
[INFO] [stdout] test dot_expr_multi_assignment_produces_multiple_subgraphs ... ok
[INFO] [stdout] test dot_expr_empty_module_valid_digraph ... ok
[INFO] [stdout] test dot_signal_node_contains_type_label ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/emit_firrtl_tests.rs (/opt/rustwide/target/debug/deps/emit_firrtl_tests-4d0c2736ff7b5491)
[INFO] [stdout] 
[INFO] [stdout] running 14 tests
[INFO] [stdout] test firrtl_emits_clock_and_reset ... ok
[INFO] [stdout] test firrtl_emits_input_ports ... ok
[INFO] [stdout] test firrtl_emits_internal_wires ... ok
[INFO] [stdout] test firrtl_emits_circuit_and_module ... ok
[INFO] [stdout] test firrtl_emits_counter_guard ... ok
[INFO] [stdout] test firrtl_emits_property_comments ... ok
[INFO] [stdout] test firrtl_emits_reflex_when_blocks ... ok
[INFO] [stdout] test firrtl_emits_shift_register_guard ... ok
[INFO] [stdout] test firrtl_maps_binary_ops_to_primops ... ok
[INFO] [stdout] test firrtl_implies_property_comment ... ok
[INFO] [stdout] test firrtl_has_auto_generated_header ... ok
[INFO] [stdout] test firrtl_multi_guard_reflex_uses_and ... ok
[INFO] [stdout] test firrtl_reflex_has_default_else ... ok
[INFO] [stdout] test firrtl_works_without_temporal ... ok
[INFO] [stdout] 
[INFO] [stderr]      Running tests/emit_rspu_tests.rs (/opt/rustwide/target/debug/deps/emit_rspu_tests-7e2e978996cde9a2)
[INFO] [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 24 tests
[INFO] [stdout] test emit_ctr_init_tick_query_for_counter_guard ... ok
[INFO] [stdout] test e2e_neonatal_style_module ... ok
[INFO] [stdout] test emit_asm_produces_valid_output ... ok
[INFO] [stdout] test emit_load_imm_for_literal ... ok
[INFO] [stdout] test emit_alu_unary_for_not_expression ... ok
[INFO] [stdout] test emit_assert_never_for_never_property ... ok
[INFO] [stdout] test emit_load_input_for_each_input_signal ... ok
[INFO] [stdout] test emit_assert_always_for_always_property ... ok
[INFO] [stdout] test emit_prev_mnemonic_is_correct ... ok
[INFO] [stdout] test emit_reflex_if_for_conditional_assignment ... ok
[INFO] [stdout] test emit_alu_for_binary_expression ... ok
[INFO] [stdout] test mnemonic_returns_correct_names ... ok
[INFO] [stdout] test emit_sr_init_tick_query_for_shift_register_guard ... ok
[INFO] [stdout] test pipeline_rspu_flag_disabled_returns_none ... ok
[INFO] [stdout] test regalloc_input_signal_maps_to_input_partition ... ok
[INFO] [stdout] test instruction_count_within_budget ... ok
[INFO] [stdout] test emit_store_output_for_each_output_signal ... ok
[INFO] [stdout] test guard_map_contains_compiled_guards ... ok
[INFO] [stdout] test regalloc_internal_signal_maps_to_internal_partition ... ok
[INFO] [stdout] test pipeline_rspu_flag_enabled_returns_some ... ok
[INFO] [stdout] test regalloc_multiple_signals_unique_registers ... ok
[INFO] [stderr]      Running tests/emit_scaffold_tests.rs (/opt/rustwide/target/debug/deps/emit_scaffold_tests-41f78b653814fe4c)
[INFO] [stdout] test regalloc_output_signal_maps_to_output_partition ... ok
[INFO] [stdout] test rspu_works_with_pattern_expanded_module ... ok
[INFO] [stdout] test register_map_contains_all_signals ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 24 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test xdc_contains_create_clock ... ok
[INFO] [stdout] test lattice_sh_has_yosys_nextpnr ... ok
[INFO] [stderr]      Running tests/emit_testbench_tests.rs (/opt/rustwide/target/debug/deps/emit_testbench_tests-cc9cb0544eee4803)
[INFO] [stdout] test quartus_tcl_has_project_new ... ok
[INFO] [stdout] test xdc_contains_package_pin_placeholders ... ok
[INFO] [stdout] test generic_sh_has_yosys ... ok
[INFO] [stdout] test sdc_contains_derive_clocks ... ok
[INFO] [stdout] test generic_sdc_emitted ... ok
[INFO] [stdout] test pcf_contains_set_io ... ok
[INFO] [stdout] test vivado_tcl_has_create_project ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test testbench_has_clock_generation ... ok
[INFO] [stderr]      Running tests/emit_verilog_extended_module_tests.rs (/opt/rustwide/target/debug/deps/emit_verilog_extended_module_tests-9bd1d3df64dc34a0)
[INFO] [stdout] test testbench_has_finish ... ok
[INFO] [stdout] test testbench_has_endmodule ... ok
[INFO] [stdout] test testbench_has_module_declaration ... ok
[INFO] [stdout] test testbench_has_input_stimulus ... ok
[INFO] [stdout] test testbench_has_reset_sequence ... ok
[INFO] [stdout] test testbench_has_dut_instantiation ... ok
[INFO] [stdout] test testbench_has_timescale ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test endmodule_present ... ok
[INFO] [stdout] test internal_signal_as_reg ... ok
[INFO] [stdout] test module_name_in_header ... ok
[INFO] [stdout] test input_signal_declared ... ok
[INFO] [stdout] test bool_signal_width_one ... ok
[INFO] [stdout] test clk_and_rst_present_in_temporal_module ... ok
[INFO] [stdout] test module_header_has_module_keyword ... ok
[INFO] [stdout] test guard_produces_logic_in_sv ... ok
[INFO] [stdout] test multiple_signals_all_present ... ok
[INFO] [stdout] test u8_signal_width ... ok
[INFO] [stdout] test property_assert_produces_sva ... ok
[INFO] [stdout] test output_signal_declared ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/emit_verilog_tests.rs (/opt/rustwide/target/debug/deps/emit_verilog_tests-19d583541de8752f)
[INFO] [stdout] 
[INFO] [stdout] running 23 tests
[INFO] [stdout] test sv_comparison_condition_in_temporal_verilog ... ok
[INFO] [stdout] test sv_always_comb_has_defaults ... ok
[INFO] [stdout] test sv_1_cycle_guard_is_combinational ... ok
[INFO] [stdout] test sv_clk_rst_in_port_list ... ok
[INFO] [stdout] test sv_dsp_attribute_intel ... ok
[INFO] [stdout] test sv_clk_not_injected_when_no_guards ... ok
[INFO] [stdout] test sv_dsp_attribute_lattice ... ok
[INFO] [stdout] test sv_dsp_attribute_xilinx7 ... ok
[INFO] [stdout] test sv_dsp_default_emitter_no_attributes ... ok
[INFO] [stdout] test sv_guard_out_declared ... ok
[INFO] [stdout] test sv_internal_signal_declared ... ok
[INFO] [stdout] test sv_internal_signal_not_in_port_list ... ok
[INFO] [stdout] test temporal_emit_verilog_counter_guard ... ok
[INFO] [stdout] test sv_multi_guard_reflex_uses_and ... ok
[INFO] [stdout] test sv_negated_signal_condition_renders_correctly ... ok
[INFO] [stdout] test temporal_emit_verilog_produces_module ... ok
[INFO] [stdout] test temporal_emit_verilog_shift_register_guard ... ok
[INFO] [stdout] test temporal_emit_verilog_unsigned_zero_width ... ok
[INFO] [stdout] test sv_u1_signal_renders_as_logic ... ok
[INFO] [stdout] test sv_no_dsp_below_threshold ... ok
[INFO] [stdout] test temporal_emit_verilog_complex_guard ... ok
[INFO] [stdout] test sv_prev_renders_as_delayed_signal ... ok
[INFO] [stdout] test sv_no_dsp_attribute_generic ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 23 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/expand_extended_tests.rs (/opt/rustwide/target/debug/deps/expand_extended_tests-b85e8614fc2e66b8)
[INFO] [stdout] 
[INFO] [stdout] running 40 tests
[INFO] [stdout] test dual_calls_total_guards ... ok
[INFO] [stdout] test dual_guard_produces_exactly_two ... ok
[INFO] [stdout] test err_too_few_args ... ok
[INFO] [stdout] test err_signal_param_gets_constant ... ok
[INFO] [stdout] test err_undefined_pattern ... ok
[INFO] [stdout] test err_too_many_args ... ok
[INFO] [stdout] test err_constant_param_gets_signal ... ok
[INFO] [stdout] test expand_clears_pattern_calls ... ok
[INFO] [stdout] test err_duplicate_pattern_defs ... ok
[INFO] [stdout] test expand_preserves_hand_written_guard ... ok
[INFO] [stdout] test expand_full_pattern_guard_reflex_property ... ok
[INFO] [stdout] test expand_single_guard_pattern ... ok
[INFO] [stdout] test expand_noop_without_calls ... ok
[INFO] [stdout] test expanded_guard_retains_cycle_count ... ok
[INFO] [stdout] test expand_preserves_hand_written_reflex ... ok
[INFO] [stdout] test expanded_module_passes_validation ... ok
[INFO] [stdout] test expanded_property_has_origin ... ok
[INFO] [stdout] test origin_args_summary_captures_constants ... ok
[INFO] [stdout] test multiple_different_patterns ... ok
[INFO] [stdout] test parse_no_false_positives_on_keywords ... ok
[INFO] [stdout] test origin_recorded_per_call ... ok
[INFO] [stdout] test parse_detects_pattern_call ... ok
[INFO] [stdout] test origin_set_on_expanded_guards ... ok
[INFO] [stdout] test expanded_reflex_targets_correct_signal ... ok
[INFO] [stdout] test pattern_with_three_guards ... ok
[INFO] [stdout] test prefix_internal_signals ... ok
[INFO] [stdout] test origin_none_on_hand_written ... ok
[INFO] [stdout] test prefix_reflex_guard_ref_updated ... ok
[INFO] [stdout] test prefix_format_pattern_index_name ... ok
[INFO] [stdout] test pattern_defs_retained_after_expansion ... ok
[INFO] [stdout] test prefix_two_calls_distinct_indices ... ok
[INFO] [stdout] test prefix_property_names ... ok
[INFO] [stdout] test subst_boolean_constant ... ok
[INFO] [stdout] test subst_signal_name_in_guard ... ok
[INFO] [stdout] test underscore_heavy_names_substitute ... ok
[INFO] [stdout] test subst_integer_constant ... ok
[INFO] [stdout] test subst_dual_params_same_line ... ok
[INFO] [stdout] test same_pattern_three_times ... ok
[INFO] [stdout] test zero_param_pattern ... ok
[INFO] [stdout] test subst_output_signal_in_reflex ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 40 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/expr_tests.rs (/opt/rustwide/target/debug/deps/expr_tests-53b8d9cfd2f2a58b)
[INFO] [stdout] 
[INFO] [stdout] running 17 tests
[INFO] [stdout] test expr_bool_literals ... ok
[INFO] [stdout] test expr_arithmetic ... ok
[INFO] [stdout] test expr_all_comparison_ops ... ok
[INFO] [stdout] test expr_comparison ... ok
[INFO] [stdout] test expr_complex_and_not ... ok
[INFO] [stdout] test expr_empty_error ... ok
[INFO] [stdout] test expr_integer_literal ... ok
[INFO] [stdout] test expr_logical_and ... ok
[INFO] [stdout] test expr_logical_or ... ok
[INFO] [stdout] test expr_not ... ok
[INFO] [stdout] test expr_precedence_and_or ... ok
[INFO] [stdout] test expr_parentheses ... ok
[INFO] [stdout] test expr_precedence_comparison_and_logical ... ok
[INFO] [stdout] test expr_shifts ... ok
[INFO] [stdout] test expr_simple_signal ... ok
[INFO] [stdout] test expr_xor ... ok
[INFO] [stdout] test expr_unexpected_token_error ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/extended_typecheck_tests.rs (/opt/rustwide/target/debug/deps/extended_typecheck_tests-4beefb798d7d3fcf)
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test baseline_extended_on_plain_module ... ok
[INFO] [stdout] test extended_on_existing_example_neonatal ... ok
[INFO] [stdout] test extended_with_all_annotations ... ok
[INFO] [stdout] test extended_type_map_is_populated ... ok
[INFO] [stdout] test extended_with_clock_domain ... ok
[INFO] [stdout] test baseline_default_config_no_extended ... ok
[INFO] [stdout] test extended_on_existing_example_icu ... ok
[INFO] [stdout] test extended_with_refinement_annotation ... ok
[INFO] [stdout] test extended_with_stateful_annotation ... ok
[INFO] [stdout] test extended_with_linear_annotation ... ok
[INFO] [stdout] test extended_with_phantom_tag ... ok
[INFO] [stdout] test extended_with_pure_annotation ... ok
[INFO] [stdout] test extended_on_existing_example_tmr ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/formal_orchestration_tests.rs (/opt/rustwide/target/debug/deps/formal_orchestration_tests-787648237626d9bd)
[INFO] [stdout] 
[INFO] [stdout] running 81 tests
[INFO] [stdout] test formal_config_custom_bmc_depth ... ok
[INFO] [stdout] test formal_config_bounded_depth_values ... ok
[INFO] [stdout] test formal_config_all_engine_variants_constructible ... ok
[INFO] [stdout] test formal_config_custom_engine_yices ... ok
[INFO] [stdout] test formal_config_custom_engine_boolector ... ok
[INFO] [stdout] test formal_config_custom_engine_bitwuzla ... ok
[INFO] [stdout] test formal_config_clone_preserves_all_fields ... ok
[INFO] [stdout] test formal_config_default_bind_path_none ... ok
[INFO] [stdout] test formal_config_default_bmc_depth ... ok
[INFO] [stdout] test formal_config_default_engine_z3 ... ok
[INFO] [stdout] test formal_config_custom_prove_enabled ... ok
[INFO] [stdout] test formal_config_default_prove_false ... ok
[INFO] [stdout] test formal_config_default_sv_path_empty ... ok
[INFO] [stdout] test formal_config_depth_exceeding_max ... ok
[INFO] [stdout] test formal_config_empty_sv_path ... ok
[INFO] [stdout] test formal_config_from_pipeline_output_path ... ok
[INFO] [stdout] test formal_config_struct_update_only_depth ... ok
[INFO] [stdout] test formal_config_struct_update_only_prove ... ok
[INFO] [stdout] test formal_config_struct_update_only_engine ... ok
[INFO] [stdout] test formal_config_with_bind_path ... ok
[INFO] [stdout] test formal_config_with_sv_path ... ok
[INFO] [stdout] test formal_config_debug_format_includes_fields ... ok
[INFO] [stdout] test formal_result_multiple_verdicts ... ok
[INFO] [stdout] test formal_result_debug_contains_key_fields ... ok
[INFO] [stdout] test formal_result_multiline_stdout ... ok
[INFO] [stdout] test formal_result_empty_stdout_stderr ... ok
[INFO] [stdout] test formal_result_clone_preserves_all ... ok
[INFO] [stdout] test formal_result_no_exit_code ... ok
[INFO] [stdout] test formal_result_passed_false ... ok
[INFO] [stdout] test formal_result_passed_true ... ok
[INFO] [stdout] test formal_status_debug_pass ... ok
[INFO] [stdout] test formal_result_with_max_verdicts ... ok
[INFO] [stdout] test formal_status_clone_preserves_variant ... ok
[INFO] [stdout] test formal_status_debug_unknown ... ok
[INFO] [stdout] test formal_status_fail_ne_unknown ... ok
[INFO] [stdout] test formal_config_zero_depth ... ok
[INFO] [stdout] test formal_status_fail_equals_fail ... ok
[INFO] [stdout] test formal_status_pass_equals_pass ... ok
[INFO] [stdout] test formal_status_debug_fail ... ok
[INFO] [stdout] test formal_status_pass_ne_fail ... ok
[INFO] [stdout] test formal_status_unknown_equals_unknown ... ok
[INFO] [stdout] test max_formal_depth_is_200 ... ok
[INFO] [stdout] test formal_status_pass_ne_unknown ... ok
[INFO] [stdout] test max_formal_depth_matches_sby_max_bmc_depth ... ok
[INFO] [stdout] test max_formal_properties_is_256 ... ok
[INFO] [stdout] test formal_configs_for_multiple_modules ... ok
[INFO] [stdout] test mirr_module_has_reflex ... ok
[INFO] [stdout] test mirr_module_parses_successfully ... ok
[INFO] [stdout] test mirr_module_has_guard ... ok
[INFO] [stdout] test property_verdict_construction ... ok
[INFO] [stdout] test property_verdict_bulk_construction ... ok
[INFO] [stdout] test property_verdict_debug_contains_fields ... ok
[INFO] [stdout] test property_verdict_unknown_status ... ok
[INFO] [stdout] test property_verdict_fail_status ... ok
[INFO] [stdout] test mirr_module_pipeline_succeeds ... ok
[INFO] [stdout] test mirr_module_has_required_signals ... ok
[INFO] [stdout] test property_verdict_empty_name ... ok
[INFO] [stdout] test property_verdict_empty_task ... ok
[INFO] [stdout] test run_formal_pipeline_tool_not_found_empty_registry ... ok
[INFO] [stdout] test run_formal_pipeline_error_is_tool_not_found_variant ... ok
[INFO] [stdout] test run_formal_pipeline_all_engines_fail_without_sby ... ok
[INFO] [stdout] test property_verdict_clone_preserves_fields ... ok
[INFO] [stdout] test run_formal_pipeline_tool_not_found_sby_unavailable ... ok
[INFO] [stdout] test run_formal_pipeline_various_working_dirs ... ok
[INFO] [stdout] test run_formal_pipeline_with_bind_path_still_fails_without_sby ... ok
[INFO] [stdout] test run_formal_pipeline_with_max_depth_still_fails_without_sby ... ok
[INFO] [stdout] test run_formal_pipeline_with_prove_still_fails_without_sby ... ok
[INFO] [stdout] test sby_engine_from_str_unknown ... ok
[INFO] [stdout] test sby_engine_name_boolector ... ok
[INFO] [stdout] test sby_engine_name_z3 ... ok
[INFO] [stdout] test tool_registry_empty_sby_not_available ... ok
[INFO] [stdout] test run_formal_pipeline_with_over_max_depth_still_fails_without_sby ... ok
[INFO] [stdout] test tool_registry_sby_marked_available ... ok
[INFO] [stdout] test sby_engine_from_str_z3 ... ok
[INFO] [stdout] test tool_registry_version_for_sby ... ok
[INFO] [stdout] test toolchain_error_invocation_display ... ok
[INFO] [stdout] test toolchain_error_parse_error_display ... ok
[INFO] [stdout] test toolchain_error_tool_failed_display ... ok
[INFO] [stdout] test tool_registry_version_none_when_unavailable ... ok
[INFO] [stdout] test tool_registry_sby_marked_unavailable ... ok
[INFO] [stdout] test toolchain_error_tool_not_found_display ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 81 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/fpga_extensions_tests.rs (/opt/rustwide/target/debug/deps/fpga_extensions_tests-6bc8c5fcd78e6cff)
[INFO] [stdout] 
[INFO] [stdout] running 28 tests
[INFO] [stdout] test ecp5_and_nexus_icetime_device_is_none ... ok
[INFO] [stdout] test ecp5_build_tool_is_nextpnr_ecp5 ... ok
[INFO] [stdout] test ecp5_clock_primitive_is_ehxplll ... ok
[INFO] [stdout] test ecp5_constraint_extension_is_lpf ... ok
[INFO] [stdout] test ecp5_display_name ... ok
[INFO] [stdout] test ecp5_nextpnr_binary ... ok
[INFO] [stdout] test ecp5_pack_tool ... ok
[INFO] [stdout] test ecp5_yosys_synth_command ... ok
[INFO] [stdout] test ecp5_default_part ... ok
[INFO] [stdout] test ecp5_dsp_primitive_and_width ... ok
[INFO] [stdout] test nexus_clock_primitive_is_osca ... ok
[INFO] [stdout] test nexus_constraint_extension_is_pdc ... ok
[INFO] [stdout] test nexus_default_part ... ok
[INFO] [stdout] test nexus_build_tool_is_nextpnr_nexus ... ok
[INFO] [stdout] test nexus_pack_tool ... ok
[INFO] [stdout] test nexus_yosys_synth_command ... ok
[INFO] [stdout] test nexus_display_name ... ok
[INFO] [stdout] test nexus_nextpnr_binary ... ok
[INFO] [stdout] test nexus_dsp_primitive_and_width ... ok
[INFO] [stdout] test parse_lattice_ecp5_from_canonical_name ... ok
[INFO] [stdout] test parse_lattice_ecp5_from_short_name ... ok
[INFO] [stdout] test parse_lattice_nexus_from_crosslink_alias ... ok
[INFO] [stdout] test parse_lattice_nexus_from_canonical_name ... ok
[INFO] [stdout] test parse_lattice_nexus_from_short_name ... ok
[INFO] [stdout] test ecp5_constraints_contain_frequency_and_locate ... ok
[INFO] [stdout] test ecp5_build_script_has_yosys_nextpnr_ecppack ... ok
[INFO] [stdout] test nexus_constraints_contain_create_clock_and_ldc ... ok
[INFO] [stdout] test nexus_build_script_has_yosys_nextpnr_prjoxide ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 28 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stderr]      Running tests/fpga_scaffolding_tests.rs (/opt/rustwide/target/debug/deps/fpga_scaffolding_tests-72565598f353f1cf)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test fpga_build_tools ... ok
[INFO] [stdout] test fpga_constraint_extensions ... ok
[INFO] [stdout] test fpga_default_parts ... ok
[INFO] [stdout] test fpga_display_names ... ok
[INFO] [stdout] test fpga_clock_primitives ... ok
[INFO] [stdout] test fpga_dsp_primitives ... ok
[INFO] [stdout] test fpga_nextpnr_binary ... ok
[INFO] [stdout] test fpga_pack_tool ... ok
[INFO] [stdout] test fpga_target_parse_all ... ok
[INFO] [stdout] test fpga_yosys_synth ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/higher_order_pattern_tests.rs (/opt/rustwide/target/debug/deps/higher_order_pattern_tests-26e223aa330a1283)
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test compose_preserves_origin_tags ... ok
[INFO] [stdout] test no_cycle_when_patterns_share_callee ... ok
[INFO] [stdout] test mutual_recursion_e402 ... ok
[INFO] [stdout] test parse_pattern_param_kind ... ok
[INFO] [stdout] test parse_pattern_param_alongside_other_kinds ... ok
[INFO] [stdout] test compose_two_patterns ... ok
[INFO] [stdout] test pattern_param_receives_constant_e426 ... ok
[INFO] [stdout] test depth_limit_exceeded_errors ... ok
[INFO] [stdout] test non_pattern_call_in_pattern_passes ... ok
[INFO] [stdout] test composed_pattern_with_temporal ... ok
[INFO] [stdout] test self_referencing_pattern_e402 ... ok
[INFO] [stdout] test composed_pattern_full_pipeline ... ok
[INFO] [stderr]      Running tests/hls_core_tests.rs (/opt/rustwide/target/debug/deps/hls_core_tests-64355bd4dee78630)
[INFO] [stdout] test undefined_pattern_ref_errors ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 17 tests
[INFO] [stdout] test test_alap_chain ... ok
[INFO] [stdout] test test_asap_chain ... ok
[INFO] [stdout] test test_binding_no_overlap ... ok
[INFO] [stdout] test test_asap_single_op ... ok
[INFO] [stdout] test test_dag_build_chain ... ok
[INFO] [stdout] test test_binding_overlap ... ok
[INFO] [stdout] test test_dag_build_empty ... ok
[INFO] [stdout] test test_hls_pass_sharing_disabled ... ok
[INFO] [stdout] test test_hls_pass_empty_dag ... ok
[INFO] [stdout] test test_mobility_zero ... ok
[INFO] [stdout] test test_sharing_no_overlap ... ok
[INFO] [stdout] test test_sharing_overlap ... ok
[INFO] [stdout] test test_hls_pass_single_op ... ok
[INFO] [stdout] test test_pipeline_with_hls_enabled ... ok
[INFO] [stdout] test test_pipeline_with_hls_disabled ... ok
[INFO] [stdout] test test_dag_build_single_op ... ok
[INFO] [stdout] test test_hls_pass_chain ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/hls_fifo_tests.rs (/opt/rustwide/target/debug/deps/hls_fifo_tests-b64edc13df9df7c1)
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test test_fifo_new_exceeds_max ... ok
[INFO] [stdout] test test_fifo_new_invalid_depth ... ok
[INFO] [stdout] test test_fifo_stats ... ok
[INFO] [stdout] test test_fifo_empty_pop ... ok
[INFO] [stdout] test test_fifo_handshake_empty ... ok
[INFO] [stdout] test test_fifo_total_width ... ok
[INFO] [stdout] test test_fifo_full ... ok
[INFO] [stdout] test test_fifo_new ... ok
[INFO] [stdout] test test_fifo_push_pop_basic ... ok
[INFO] [stdout] test test_emit_fifo_verilog ... ok
[INFO] [stdout] test test_synthesize_fifo ... ok
[INFO] [stdout] test test_validate_fifo ... ok
[INFO] [stdout] test test_pipeline_fifo_type_parse ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/hls_integration_tests.rs (/opt/rustwide/target/debug/deps/hls_integration_tests-3573d7da4f2debf0)
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stderr]      Running tests/lexer_executor_tests.rs (/opt/rustwide/target/debug/deps/lexer_executor_tests-9c53cc403019903f)
[INFO] [stdout] test hls_dag_add_edge ... ok
[INFO] [stdout] test hls_default_config ... ok
[INFO] [stdout] test hls_full_pipeline ... ok
[INFO] [stdout] test hls_empty_dag_rejected ... ok
[INFO] [stdout] test hls_dag_duplicate_edge ... ok
[INFO] [stdout] test hls_chain_schedule ... ok
[INFO] [stdout] test hls_max_operations_reject ... ok
[INFO] [stdout] test hls_single_operation_schedule ... ok
[INFO] [stdout] test hls_parallel_schedule ... ok
[INFO] [stdout] test hls_resource_kinds_display ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test interpreter_parity_basic ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/lexer_guard_semantics_tests.rs (/opt/rustwide/target/debug/deps/lexer_guard_semantics_tests-ddfe3e834d2c0bb4)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test test_guard_counter_lifetime ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/lexer_parity_extended.rs (/opt/rustwide/target/debug/deps/lexer_parity_extended-0ce77566e14797ab)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test extended_lexer_parity_across_examples_and_mirr ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 3.50s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/mape_k_integration_core_tests.rs (/opt/rustwide/target/debug/deps/mape_k_integration_core_tests-01b97bd775bcab99)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test bridge_generates_emergency_stop_actions ... ok
[INFO] [stderr]      Running tests/mape_k_integration_extended_tests.rs (/opt/rustwide/target/debug/deps/mape_k_integration_extended_tests-86acce40a86c7079)
[INFO] [stdout] test bridge_generates_sim_config_from_neonatal ... ok
[INFO] [stdout] test bridge_extracts_always_property ... ok
[INFO] [stdout] test bridge_extracts_eventually_property ... ok
[INFO] [stdout] test bridge_generates_sim_config_from_safety_property ... ok
[INFO] [stdout] test bridge_rejects_too_many_properties ... ok
[INFO] [stdout] test bridge_rejects_too_many_signals ... ok
[INFO] [stdout] test bridge_skips_cover_and_assume_properties ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test mape_k_partition_default_fpga_monitor_executor ... ok
[INFO] [stdout] test mape_k_partition_default_arm_analyzer_planner ... ok
[INFO] [stdout] test mape_k_partition_shared_knowledge ... ok
[INFO] [stdout] test mape_k_simulator_detects_threshold_violation ... ok
[INFO] [stdout] test mape_k_simulator_knowledge_records_adaptations ... ok
[INFO] [stdout] test mape_k_simulator_triggers_emergency_stop ... ok
[INFO] [stdout] test mape_k_simulator_bounded_ticks ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 23.31s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/mape_k_partition_tests.rs (/opt/rustwide/target/debug/deps/mape_k_partition_tests-9ade6900b043e7c5)
[INFO] [stdout] 
[INFO] [stdout] running 22 tests
[INFO] [stdout] test all_component_tag_labels_are_nonempty_and_unique ... ok
[INFO] [stdout] test bounds_constants_are_nonzero_and_sane ... ok
[INFO] [stdout] test fpga_components_all_resolve_to_fpga_target ... ok
[INFO] [stdout] test fpga_partition_contains_monitor_and_executor ... ok
[INFO] [stdout] test fpga_tags_map_to_fpga_target ... ok
[INFO] [stdout] test labels_contain_expected_platform_names ... ok
[INFO] [stdout] test arm_components_all_resolve_to_arm_target ... ok
[INFO] [stdout] test arm_tags_map_to_arm_target ... ok
[INFO] [stdout] test component_tag_survives_json_round_trip ... ok
[INFO] [stdout] test arm_partition_contains_analyzer_and_planner ... ok
[INFO] [stdout] test all_component_names_are_unique_across_partitions ... ok
[INFO] [stdout] test partition_components_returns_five_total ... ok
[INFO] [stdout] test partition_config_custom_values_are_preserved ... ok
[INFO] [stdout] test shared_knowledge_maps_to_both_target ... ok
[INFO] [stdout] test partition_target_survives_json_round_trip ... ok
[INFO] [stdout] test partition_result_survives_json_round_trip ... ok
[INFO] [stdout] test shared_components_all_resolve_to_both_target ... ok
[INFO] [stdout] test shared_partition_contains_knowledge_bus ... ok
[INFO] [stdout] test total_components_counts_all_partitions ... ok
[INFO] [stdout] test total_components_on_empty_result_is_zero ... ok
[INFO] [stderr]      Running tests/mape_k_rtl_bitstream_tests.rs (/opt/rustwide/target/debug/deps/mape_k_rtl_bitstream_tests-1e1224f76801d0de)
[INFO] [stdout] test partition_config_default_is_disabled_with_100_ticks ... ok
[INFO] [stdout] test partition_is_deterministic_across_calls ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 22 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test icetime_reports_frequency_knowledge ... ok
[INFO] [stdout] test icepack_packs_monitor_module ... ok
[INFO] [stdout] test icepack_bitstream_nonzero_size ... ok
[INFO] [stdout] test eqy_equivalence_monitor_self ... ok
[INFO] [stdout] test eqy_equivalence_knowledge_self ... ok
[INFO] [stdout] test icepack_packs_knowledge_module ... ok
[INFO] [stdout] test icetime_reports_frequency_monitor ... ok
[INFO] [stdout] test bitstream_rtl_roundtrip ... ok
[INFO] [stderr]      Running tests/mape_k_rtl_core_tests.rs (/opt/rustwide/target/debug/deps/mape_k_rtl_core_tests-a42e57a1e8d07917)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 25 tests
[INFO] [stdout] test e1_10_plan_block_has_action_table ... ok
[INFO] [stdout] test e1_13_execute_block_has_action_dispatch ... ok
[INFO] [stdout] test e1_11_plan_block_has_violation_matching ... ok
[INFO] [stdout] test e1_12_plan_block_has_priority_selection ... ok
[INFO] [stdout] test e1_14_execute_block_has_emergency_latch ... ok
[INFO] [stdout] test e1_1_monitor_block_has_module_declaration ... ok
[INFO] [stdout] test e1_18_top_block_has_all_six_modules ... ok
[INFO] [stdout] test e1_15_knowledge_block_has_fifo ... ok
[INFO] [stdout] test e1_20_emit_rtl_error_on_too_many_signals ... ok
[INFO] [stdout] test e1_16_top_block_wires_all_submodules ... ok
[INFO] [stdout] test e1_17_top_block_has_clk_rst ... ok
[INFO] [stdout] test e1_24_emit_rtl_parameterized_bit_widths ... ok
[INFO] [stdout] test e1_22_emit_rtl_contains_header_comment ... ok
[INFO] [stdout] test e1_2_monitor_block_has_shadow_registers ... ok
[INFO] [stdout] test e1_3_monitor_block_has_trace_buffer ... ok
[INFO] [stdout] test e1_25_emit_rtl_persists_temporal_property ... ok
[INFO] [stdout] test e1_21_emit_rtl_error_on_too_many_properties ... ok
[INFO] [stdout] test e1_4_monitor_synthesis_clean_no_display ... ok
[INFO] [stdout] test e1_6_analyze_block_has_always_checker ... ok
[INFO] [stdout] test e1_23_emit_rtl_synthesis_clean_no_initial ... ok
[INFO] [stdout] test e1_5_analyze_block_has_module_declaration ... ok
[INFO] [stdout] test e1_7_analyze_block_has_eventually_checker ... ok
[INFO] [stdout] test e1_8_analyze_block_has_persists_checker ... ok
[INFO] [stdout] test e1_9_analyze_block_has_priority_encoder ... ok
[INFO] [stderr]      Running tests/mape_k_rtl_formal_tests.rs (/opt/rustwide/target/debug/deps/mape_k_rtl_formal_tests-44ad6a7fb9f31887)
[INFO] [stdout] test e1_19_full_pipeline_emit_mape_k_rtl ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 25 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test formal_rtl_rst_n_clears_pointers ... ok
[INFO] [stdout] test formal_rtl_knowledge_full_signal ... ok
[INFO] [stdout] test formal_yosys_check_assert ... ok
[INFO] [stdout] test formal_yosys_monitor_synth ... ok
[INFO] [stdout] test formal_yosys_no_combinational_loops ... ok
[INFO] [stdout] test formal_yosys_execute_synth ... ok
[INFO] [stdout] test formal_rtl_emergency_latch_is_set_only ... ok
[INFO] [stdout] test formal_rtl_plan_action_valid ... ok
[INFO] [stdout] test formal_rtl_has_no_combinational_loops_rtl_check ... ok
[INFO] [stdout] test formal_rtl_all_registers_reset ... ok
[INFO] [stdout] test formal_rtl_monitor_is_clocked ... ok
[INFO] [stdout] test formal_rtl_violation_vec_width_correct ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.13s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/mape_k_rtl_iverilog_tests.rs (/opt/rustwide/target/debug/deps/mape_k_rtl_iverilog_tests-8c742124bc289743)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test iverilog_compile_with_defines ... ok
[INFO] [stdout] test iverilog_compiles_full_rtl ... ok
[INFO] [stdout] test iverilog_compiles_plan_top ... ok
[INFO] [stdout] test iverilog_knowledge_module_compiles ... ok
[INFO] [stdout] test iverilog_no_warnings_on_full_rtl ... ok
[INFO] [stdout] test iverilog_simulate_with_testbench ... ok
[INFO] [stdout] test iverilog_no_errors_in_stderr ... ok
[INFO] [stdout] test iverilog_vvp_exits_cleanly ... ok
[INFO] [stdout] test iverilog_compiles_analyze_top ... ok
[INFO] [stdout] test iverilog_compiles_knowledge_top ... ok
[INFO] [stdout] test iverilog_compiles_execute_top ... ok
[INFO] [stdout] test iverilog_compiles_monitor_top ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.11s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/mape_k_rtl_nextpnr_tests.rs (/opt/rustwide/target/debug/deps/mape_k_rtl_nextpnr_tests-ff603b8af52c7e1e)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test nextpnr_ice40_no_placement_errors ... ok
[INFO] [stdout] test nextpnr_ice40_place_route_monitor ... ok
[INFO] [stdout] test nextpnr_ice40_utilization_nonzero ... ok
[INFO] [stdout] test nextpnr_ice40_place_route_plan ... ok
[INFO] [stdout] test nextpnr_ecp5_place_route_monitor ... ok
[INFO] [stderr]      Running tests/mape_k_rtl_verilator_tests.rs (/opt/rustwide/target/debug/deps/mape_k_rtl_verilator_tests-d09af1a2f5fe6187)
[INFO] [stdout] test nextpnr_ice40_place_route_knowledge ... ok
[INFO] [stdout] test nextpnr_ice40_place_route_execute ... ok
[INFO] [stdout] test nextpnr_timing_report_exists ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test verilator_lint_returns_valid_exit ... ok
[INFO] [stdout] test verilator_lint_analyze ... ok
[INFO] [stdout] test verilator_lint_plan ... ok
[INFO] [stdout] test verilator_full_rtl_has_no_unresolved_references ... ok
[INFO] [stdout] test verilator_lint_knowledge ... ok
[INFO] [stdout] test verilator_lint_full_rtl_top ... ok
[INFO] [stdout] test verilator_lint_monitor ... ok
[INFO] [stdout] test verilator_sv_keyword_support ... ok
[INFO] [stdout] test verilator_no_error_lines ... ok
[INFO] [stdout] test verilator_lint_execute ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/mape_k_rtl_yosys_tests.rs (/opt/rustwide/target/debug/deps/mape_k_rtl_yosys_tests-f920e26050fc9e3e)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test yosys_no_error_in_output ... ok
[INFO] [stdout] test yosys_monitor_hierarchy_ok ... ok
[INFO] [stdout] test yosys_parses_analyze_module ... ok
[INFO] [stdout] test yosys_check_no_latches ... ok
[INFO] [stdout] test yosys_parses_monitor_module ... ok
[INFO] [stdout] test yosys_parses_execute_module ... ok
[INFO] [stdout] test yosys_parses_top_module ... ok
[INFO] [stderr]      Running tests/mape_k_scenario_tests.rs (/opt/rustwide/target/debug/deps/mape_k_scenario_tests-3a15627140c57fa5)
[INFO] [stdout] test yosys_reads_full_rtl_without_errors ... ok
[INFO] [stdout] test yosys_parses_plan_module ... ok
[INFO] [stdout] test yosys_parses_knowledge_module ... ok
[INFO] [stdout] test yosys_synth_ice40_execute ... ok
[INFO] [stdout] test yosys_synth_ice40_knowledge ... ok
[INFO] [stdout] test yosys_stat_reports_cells ... ok
[INFO] [stdout] test yosys_synth_ice40_monitor ... ok
[INFO] [stdout] test yosys_rtl_no_display_statements ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test mape_k_emergency_stop ... ok
[INFO] [stdout] test mape_k_knowledge_records ... ok
[INFO] [stdout] test mape_k_summary_format ... ok
[INFO] [stdout] test mape_k_single_violation ... ok
[INFO] [stdout] test mape_k_zero_tick ... ok
[INFO] [stdout] test mape_k_normal_operation ... ok
[INFO] [stderr]      Running tests/mape_k_tests.rs (/opt/rustwide/target/debug/deps/mape_k_tests-8f3a2141564493e9)
[INFO] [stdout] test mape_k_multiple_sensors ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 32 tests
[INFO] [stdout] test emergency_stop_halts_simulation ... ok
[INFO] [stdout] test adaptation_log_serializable_to_json ... ok
[INFO] [stdout] test always_violated_single_dip ... ok
[INFO] [stdout] test eventually_within_found_in_window ... ok
[INFO] [stdout] test executor_emergency_stop_zeros_all_signals ... ok
[INFO] [stdout] test eventually_within_outside_deadline ... ok
[INFO] [stdout] test executor_set_signal ... ok
[INFO] [stdout] test empty_action_table_no_panic ... ok
[INFO] [stdout] test executor_unknown_signal_fails_gracefully ... ok
[INFO] [stdout] test in_range_predicate_works ... ok
[INFO] [stdout] test knowledge_base_evicts_oldest_at_capacity ... ok
[INFO] [stdout] test knowledge_base_serializes_to_json ... ok
[INFO] [stdout] test monitor_window_tracks_signal ... ok
[INFO] [stdout] test persists_three_consecutive ... ok
[INFO] [stdout] test persists_interrupted_fails ... ok
[INFO] [stdout] test planner_multiple_violations_picks_best ... ok
[INFO] [stdout] test planner_no_match_returns_none ... ok
[INFO] [stdout] test planner_selects_highest_priority ... ok
[INFO] [stdout] test ring_buffer_overwrites_oldest ... ok
[INFO] [stdout] test sensor_deterministic_across_runs ... ok
[INFO] [stdout] test sensor_fault_window_bounded ... ok
[INFO] [stdout] test sensor_permanent_fault ... ok
[INFO] [stdout] test neonatal_fault_and_recovery ... ok
[INFO] [stdout] test single_tick_simulation ... ok
[INFO] [stdout] test switch_mode_action_records_correctly ... ok
[INFO] [stdout] test multi_property_multi_action_scenario ... ok
[INFO] [stdout] test zero_tick_simulation ... ok
[INFO] [stdout] test sim_result_summary_format ... ok
[INFO] [stdout] test neonatal_fault_triggers_adaptation ... ok
[INFO] [stdout] test neonatal_normal_no_violations ... ok
[INFO] [stdout] test always_satisfied_all_above_threshold ... ok
[INFO] [stdout] test knowledge_base_records_and_retrieves ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 32 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/mega10_composite_integration_tests.rs (/opt/rustwide/target/debug/deps/mega10_composite_integration_tests-cb2c5b5ccd6c58fd)
[INFO] [stdout] 
[INFO] [stdout] running 23 tests
[INFO] [stdout] test bundle_is_composite ... ok
[INFO] [stdout] test bundle_type_construction ... ok
[INFO] [stdout] test array_literal_construction ... ok
[INFO] [stdout] test array_type_construction ... ok
[INFO] [stdout] test array_type_display_not_empty ... ok
[INFO] [stdout] test array_signal_in_module ... ok
[INFO] [stdout] test field_access_construction ... ok
[INFO] [stdout] test composite_signal_in_ast_module_no_crash ... ok
[INFO] [stdout] test array_type_is_composite ... ok
[INFO] [stdout] test bundle_display_non_empty ... ok
[INFO] [stdout] test fixed_point_construction ... ok
[INFO] [stdout] test empty_array_literal ... ok
[INFO] [stdout] test max_array_dims_positive ... ok
[INFO] [stdout] test max_fixed_point_bits_constant ... ok
[INFO] [stdout] test struct_max_fields_constant ... ok
[INFO] [stdout] test fixed_point_is_composite ... ok
[INFO] [stdout] test struct_type_construction ... ok
[INFO] [stdout] test struct_type_is_composite ... ok
[INFO] [stdout] test fixed_point_width_is_total_bits ... ok
[INFO] [stdout] test struct_type_display_non_empty ... ok
[INFO] [stdout] test struct_literal_construction ... ok
[INFO] [stdout] test pipeline_with_plain_module_still_works ... ok
[INFO] [stderr]      Running tests/mega1_typeck_c10_edge_tests.rs (/opt/rustwide/target/debug/deps/mega1_typeck_c10_edge_tests-844b7d0d50afdb98)
[INFO] [stdout] test array_index_construction ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 23 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test c10_always_implies_typechecks ... ok
[INFO] [stdout] test c10_eventually_within_typechecks ... ok
[INFO] [stdout] test c10_always_signal_typechecks ... ok
[INFO] [stdout] test c10_always_followed_by_typechecks ... ok
[INFO] [stdout] test c10_assume_directive_typechecks ... ok
[INFO] [stdout] test c10_cover_directive_typechecks ... ok
[INFO] [stdout] test c10_never_comparison_typechecks ... ok
[INFO] [stdout] test c10_never_implies_typechecks ... ok
[INFO] [stdout] test edge_always_literal_bool_typechecks ... ok
[INFO] [stdout] test c10_never_signal_typechecks ... ok
[INFO] [stdout] test edge_source_always_property ... ok
[INFO] [stdout] test c10_multiple_properties_typecheck ... ok
[INFO] [stdout] test c10_always_comparison_typechecks ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/mega1_typeck_c1_c3_tests.rs (/opt/rustwide/target/debug/deps/mega1_typeck_c1_c3_tests-afd46b87686d16fa)
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stderr]      Running tests/mega1_typeck_c4_c6_tests.rs (/opt/rustwide/target/debug/deps/mega1_typeck_c4_c6_tests-bea1a8f6d5b4fb4f)
[INFO] [stdout] test c1_bool_to_bool_typechecks ... ok
[INFO] [stdout] test c2_signed_assigned_to_unsigned_fails ... ok
[INFO] [stdout] test c1_pipeline_property_assert_succeeds ... ok
[INFO] [stdout] test c2_signed_literal_to_unsigned_may_be_checked ... ok
[INFO] [stdout] test c1_unsigned_to_unsigned_same_width ... ok
[INFO] [stdout] test c1_pipeline_multi_signal_module ... ok
[INFO] [stdout] test c2_unsigned_to_signed_fails ... ok
[INFO] [stdout] test c1_pipeline_empty_module_succeeds ... ok
[INFO] [stdout] test c3_binary_gt_in_guard_passes_typechecking ... ok
[INFO] [stdout] test c3_comparing_same_unsigned_types_ok ... ok
[INFO] [stdout] test c1_pipeline_guard_reflex_succeeds ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test c4_no_qualifiers_no_error ... ok
[INFO] [stdout] test c5_different_clock_domains_may_produce_cdc_warning ... ok
[INFO] [stdout] test c4_linear_qualifier_single_use_ok ... ok
[INFO] [stdout] test c4_extended_pipeline_valid_module_passes ... ok
[INFO] [stdout] test c5_same_clock_domain_no_error ... ok
[INFO] [stdout] test c6_extended_typecheck_empty_signals ... ok
[INFO] [stdout] test c6_pure_qualifier_accepted ... ok
[INFO] [stdout] test c6_effectful_qualifier_accepted ... ok
[INFO] [stdout] test c6_extended_pipeline_matches_basic ... ok
[INFO] [stdout] test c4_multiple_signals_no_conflict ... ok
[INFO] [stdout] test c5_clock_domain_name_preserved ... ok
[INFO] [stderr]      Running tests/mega1_typeck_c7_c9_tests.rs (/opt/rustwide/target/debug/deps/mega1_typeck_c7_c9_tests-181149fead519311)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test c7_phantom_tag_constructed_correctly ... ok
[INFO] [stdout] test c7_no_phantom_tag_default ... ok
[INFO] [stdout] test c9_error_codes_are_numeric ... ok
[INFO] [stdout] test c7_signal_with_phantom_tag_accepted ... ok
[INFO] [stdout] test c9_parse_errors_have_e1xx_prefix ... ok
[INFO] [stdout] test c7_same_phantom_tag_no_conflict ... ok
[INFO] [stdout] test c7_different_phantom_tags_may_conflict ... ok
[INFO] [stdout] test c8_bool_width_pipeline ... ok
[INFO] [stdout] test c9_semantic_errors_have_e2xx_prefix ... ok
[INFO] [stdout] test c8_u32_width_pipeline ... ok
[INFO] [stdout] test c8_u8_width_pipeline ... ok
[INFO] [stdout] test c8_u16_width_pipeline ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/mega2_sexpr_d1_d5_tests.rs (/opt/rustwide/target/debug/deps/mega2_sexpr_d1_d5_tests-27dae6f18c55560e)
[INFO] [stdout] 
[INFO] [stdout] running 21 tests
[INFO] [stdout] test d1_empty_list ... ok
[INFO] [stdout] test d1_atom_prints_correctly ... ok
[INFO] [stdout] test d1_list_with_items ... ok
[INFO] [stdout] test d1_bool_false ... ok
[INFO] [stdout] test d1_bool_true ... ok
[INFO] [stdout] test d1_integer_prints_correctly ... ok
[INFO] [stdout] test d3_print_large_int ... ok
[INFO] [stdout] test d2_parse_empty_list ... ok
[INFO] [stdout] test d2_parse_unbalanced_err ... ok
[INFO] [stdout] test d2_parse_atom ... ok
[INFO] [stdout] test d1_as_list_some_for_list ... ok
[INFO] [stdout] test d2_parse_nested_list ... ok
[INFO] [stdout] test d2_parse_integer ... ok
[INFO] [stdout] test d3_print_parse_roundtrip ... ok
[INFO] [stdout] test d3_print_zero ... ok
[INFO] [stdout] test d5_module_with_guard_roundtrip ... ok
[INFO] [stdout] test d4_shallow_nesting_ok ... ok
[INFO] [stdout] test d1_as_list_none_for_atom ... ok
[INFO] [stdout] test d5_empty_program_roundtrip ... ok
[INFO] [stderr]      Running tests/mega2_sexpr_d6_d10_tests.rs (/opt/rustwide/target/debug/deps/mega2_sexpr_d6_d10_tests-057453ef44e5d7e3)
[INFO] [stdout] test d5_module_with_signal_roundtrip ... ok
[INFO] [stdout] test d5_stable_after_multiple_iterations ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 21 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]      Running tests/mega4_qa_cert_fuzz_tests.rs (/opt/rustwide/target/debug/deps/mega4_qa_cert_fuzz_tests-35ef99876275e09a)
[INFO] [stdout] running 21 tests
[INFO] [stdout] test d6_car_of_list ... ok
[INFO] [stdout] test d6_cdr_has_remaining_elements ... ok
[INFO] [stdout] test d10_max_eval_depth_range ... ok
[INFO] [stdout] test d10_simple_eval_stays_in_bounds ... ok
[INFO] [stdout] test d6_bool_self_evaluates ... ok
[INFO] [stdout] test d10_max_eval_depth_positive ... ok
[INFO] [stdout] test d7_nested_quote ... ok
[INFO] [stdout] test d7_quote_list ... ok
[INFO] [stdout] test d6_integer_self_evaluates ... ok
[INFO] [stdout] test d6_empty_list_evaluates ... ok
[INFO] [stdout] test d6_quote_returns_arg ... ok
[INFO] [stdout] test d8_expand_atom_is_identity ... ok
[INFO] [stdout] test d7_car_of_single_element_list ... ok
[INFO] [stdout] test d8_expand_empty_list ... ok
[INFO] [stdout] test d8_new_no_panic ... ok
[INFO] [stdout] test d9_fresh_depth_zero ... ok
[INFO] [stdout] test d9_new_no_panic ... ok
[INFO] [stdout] test d8_expand_integer_is_identity ... ok
[INFO] [stdout] test d8_expand_unknown_passes_through ... ok
[INFO] [stdout] test d9_independent_states ... ok
[INFO] [stdout] test d6_cons_prepends_element ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 21 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 20 tests
[INFO] [stdout] test qa_cert_fuzz_255_char_witness_name ... ok
[INFO] [stdout] test qa_cert_fuzz_alternating_hash ... ok
[INFO] [stdout] test qa_cert_fuzz_all_ff_hash ... ok
[INFO] [stdout] test qa_cert_fuzz_all_zero_hash ... ok
[INFO] [stdout] test qa_cert_fuzz_max_u32_registers ... ok
[INFO] [stdout] test qa_cert_fuzz_max_u64_max_cycles ... ok
[INFO] [stdout] test qa_cert_fuzz_multiple_verdicts_mixed ... ok
[INFO] [stdout] test qa_cert_fuzz_resource_constrained_maxes ... ok
[INFO] [stdout] test qa_cert_fuzz_raw_bytes_magic_mismatch ... ok
[INFO] [stdout] test qa_cert_fuzz_resource_constrained_zeros ... ok
[INFO] [stdout] test qa_cert_fuzz_roundtrip_10_witnesses_5_verdicts ... ok
[INFO] [stdout] test qa_cert_fuzz_static_guard_bound_zero ... ok
[INFO] [stdout] test qa_cert_fuzz_type_witness_all_kinds ... ok
[INFO] [stdout] test qa_cert_fuzz_type_witness_signed_and_unsigned ... ok
[INFO] [stdout] test qa_cert_fuzz_version_255 ... ok
[INFO] [stdout] test qa_cert_fuzz_empty_property_name ... ok
[INFO] [stdout] test qa_cert_fuzz_single_type_witness_max_width ... ok
[INFO] [stdout] test qa_cert_fuzz_static_guard_bound_max ... ok
[INFO] [stdout] test qa_cert_fuzz_zero_resources ... ok
[INFO] [stderr]      Running tests/mega4_qa_cert_stress_tests.rs (/opt/rustwide/target/debug/deps/mega4_qa_cert_stress_tests-6623829da38b60f3)
[INFO] [stdout] test qa_cert_fuzz_version_zero ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 20 tests
[INFO] [stdout] test qa_cert_deser_strategy_tag2_partial_data ... ok
[INFO] [stdout] test qa_cert_deser_string_length_exceeds_remaining ... ok
[INFO] [stdout] test qa_cert_deser_exactly_41_bytes_truncated ... ok
[INFO] [stdout] test qa_cert_deser_truncated_mid_resource_bound ... ok
[INFO] [stdout] test qa_cert_deser_type_witness_count_exceeds_data ... ok
[INFO] [stdout] test qa_cert_deser_strategy_tag1_no_data ... ok
[INFO] [stdout] test qa_cert_all_zero_program_hash ... ok
[INFO] [stdout] test qa_cert_duplicate_type_witness_names ... ok
[INFO] [stdout] test qa_cert_max_u32_registers ... ok
[INFO] [stdout] test qa_cert_max_u64_termination_bound ... ok
[INFO] [stdout] test qa_cert_empty_signal_name ... ok
[INFO] [stdout] test qa_cert_max_length_signal_name ... ok
[INFO] [stdout] test qa_cert_overlength_signal_name_truncated ... ok
[INFO] [stderr]      Running tests/mega4_qa_totality_edge_tests.rs (/opt/rustwide/target/debug/deps/mega4_qa_totality_edge_tests-ef2854641e010089)
[INFO] [stdout] test qa_cert_pass_field_always_true_on_deser ... ok
[INFO] [stdout] test qa_cert_resource_constrained_zero_values ... ok
[INFO] [stdout] test qa_cert_static_guard_bound_zero_cycles ... ok
[INFO] [stdout] test qa_cert_unicode_signal_name ... ok
[INFO] [stdout] test qa_cert_version_255 ... ok
[INFO] [stdout] test qa_cert_max_type_witnesses_boundary ... ok
[INFO] [stdout] test qa_cert_max_property_verdicts_boundary ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test qa_output_completeness_output_driven_by_multiple_reflexes ... ok
[INFO] [stdout] test qa_resource_bounds_exceeds_max_guards ... ok
[INFO] [stdout] test qa_resource_bounds_exactly_at_max_guards ... ok
[INFO] [stdout] test qa_guard_coverage_reflex_with_empty_guard_names ... ok
[INFO] [stdout] test qa_output_completeness_internal_signals_ignored ... ok
[INFO] [stdout] test qa_resource_bounds_exactly_at_max_registers ... ok
[INFO] [stdout] test qa_output_completeness_only_inputs_is_trivially_total ... ok
[INFO] [stdout] test qa_guard_coverage_multiple_guards_covering_same_output ... ok
[INFO] [stdout] test qa_resource_bounds_exceeds_max_registers ... ok
[INFO] [stderr]      Running tests/mega4_qa_totality_temporal_tests.rs (/opt/rustwide/target/debug/deps/mega4_qa_totality_temporal_tests-e4d35018537d1834)
[INFO] [stdout] test qa_resource_bounds_instruction_estimate_accuracy ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 20 tests
[INFO] [stdout] test qa_acyclicity_long_chain_no_cycle ... ok
[INFO] [stdout] test qa_acyclicity_diamond_dependency ... ok
[INFO] [stdout] test qa_acyclicity_indirect_cycle_through_internal ... ok
[INFO] [stdout] test qa_acyclicity_prev_in_binary_breaks_one_dep ... ok
[INFO] [stdout] test qa_acyclicity_self_loop_via_unary ... ok
[INFO] [stdout] test qa_acyclicity_multiple_independent_cycles ... ok
[INFO] [stdout] test qa_acyclicity_prev_delay_breaks_cycle ... ok
[INFO] [stdout] test qa_guard_coverage_two_outputs_one_uncovered ... ok
[INFO] [stdout] test qa_temporal_bound_guard_zero_cycles ... ok
[INFO] [stdout] test qa_temporal_bound_max_u64_cycles_saturating ... ok
[INFO] [stdout] test qa_temporal_bound_nested_binary_prev_delays ... ok
[INFO] [stdout] test qa_temporal_bound_prev_in_guard_condition ... ok
[INFO] [stdout] test qa_temporal_bound_prev_in_unary_operand ... ok
[INFO] [stdout] test qa_totality_aggregate_all_five_individual_results_accessible ... ok
[INFO] [stdout] test qa_totality_all_property_formula_kinds_in_summary ... ok
[INFO] [stdout] test qa_totality_empty_module_is_total ... ok
[INFO] [stderr]      Running tests/mega5_symbolic_g11_g17_tests.rs (/opt/rustwide/target/debug/deps/mega5_symbolic_g11_g17_tests-79c6e3d6d39e0930)
[INFO] [stdout] test qa_output_completeness_100_outputs_all_driven ... ok
[INFO] [stdout] test qa_resource_bounds_zero_signals ... ok
[INFO] [stdout] test qa_temporal_bound_multiple_guards_max_wins ... ok
[INFO] [stdout] test qa_temporal_bound_no_guards_no_prev ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 14 tests
[INFO] [stderr]      Running tests/mega5_symbolic_g1_g10_tests.rs (/opt/rustwide/target/debug/deps/mega5_symbolic_g1_g10_tests-3f76b1aee1c8e341)
[INFO] [stdout] test g11_result_field_exists ... ok
[INFO] [stdout] test g13_mul_by_zero ... ok
[INFO] [stdout] test g11_symbolic_with_guard ... ok
[INFO] [stdout] test g11_symbolic_valid_module ... ok
[INFO] [stdout] test g12_analyze_grows_with_signals ... ok
[INFO] [stdout] test g13_add_chain ... ok
[INFO] [stdout] test g14_two_guard_compiles ... ok
[INFO] [stdout] test g17_concrete_add_sub_round_trip ... ok
[INFO] [stdout] test g16_widen_interval_to_interval ... ok
[INFO] [stdout] test g17_eq_same_value ... ok
[INFO] [stdout] test g16_widen_top_stays_top ... ok
[INFO] [stdout] test g17_ne_different_values ... ok
[INFO] [stdout] test g11_symbolic_off_works ... ok
[INFO] [stdout] test g15_property_symbolic ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 39 tests
[INFO] [stdout] test g10_constants_ok ... ok
[INFO] [stdout] test g1_concrete_eq ... ok
[INFO] [stdout] test g10_with_signals_ok ... ok
[INFO] [stdout] test g1_concrete_ne ... ok
[INFO] [stdout] test g10_empty_ok ... ok
[INFO] [stdout] test g1_interval_ok ... ok
[INFO] [stdout] test g1_unknown_ok ... ok
[INFO] [stdout] test g2_add ... ok
[INFO] [stdout] test g2_lt_false ... ok
[INFO] [stdout] test g1_top_eq_top ... ok
[INFO] [stdout] test g1_top_ne_concrete ... ok
[INFO] [stdout] test g2_and ... ok
[INFO] [stdout] test g2_gt_true ... ok
[INFO] [stdout] test g2_sub ... ok
[INFO] [stdout] test g2_top_propagates ... ok
[INFO] [stdout] test g3_not_nonzero ... ok
[INFO] [stdout] test g3_not_top_no_panic ... ok
[INFO] [stdout] test g5_binary_expr ... ok
[INFO] [stdout] test g5_known_signal ... ok
[INFO] [stdout] test g4_interval_unary_no_panic ... ok
[INFO] [stdout] test g5_literal_concrete ... ok
[INFO] [stdout] test g6_in_range ... ok
[INFO] [stdout] test g5_unknown_signal ... ok
[INFO] [stderr]      Running tests/mega5_symbolic_verification_tests.rs (/opt/rustwide/target/debug/deps/mega5_symbolic_verification_tests-8d6d789bb129ce30)
[INFO] [stdout] test g2_or ... ok
[INFO] [stdout] test g6_lo_boundary ... ok
[INFO] [stdout] test g4_interval_add ... ok
[INFO] [stdout] test g6_out_of_range ... ok
[INFO] [stdout] test g2_mul ... ok
[INFO] [stdout] test g3_not_zero ... ok
[INFO] [stdout] test g6_hi_boundary ... ok
[INFO] [stdout] test g7_same_unchanged ... ok
[INFO] [stdout] test g8_empty_none ... ok
[INFO] [stdout] test g8_no_match ... ok
[INFO] [stdout] test g8_max_patterns_pos ... ok
[INFO] [stdout] test g9_const_zero ... ok
[INFO] [stdout] test g7_different_widens ... ok
[INFO] [stdout] test g9_other_zero ... ok
[INFO] [stdout] test g9_self_one ... ok
[INFO] [stdout] test g8_exact_match ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 39 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 92 tests
[INFO] [stdout] test g12_max_sym_iterations ... ok
[INFO] [stdout] test g12_max_sym_depth ... ok
[INFO] [stdout] test g12_max_sym_signals ... ok
[INFO] [stdout] test g1_concrete_equality ... ok
[INFO] [stdout] test g1_interval_construction ... ok
[INFO] [stdout] test g1_top_is_top ... ok
[INFO] [stdout] test g1_unknown_with_width ... ok
[INFO] [stdout] test g2_add_concrete ... ok
[INFO] [stdout] test g2_and_concrete ... ok
[INFO] [stdout] test g10_analyze_detects_no_violations_for_valid ... ok
[INFO] [stdout] test g10_analyze_simple_module ... ok
[INFO] [stdout] test g2_eq_concrete ... ok
[INFO] [stdout] test g10_analyze_empty_module ... ok
[INFO] [stdout] test g12_sym_state_lookup_bounded ... ok
[INFO] [stdout] test g2_le_concrete ... ok
[INFO] [stdout] test g2_ge_concrete ... ok
[INFO] [stdout] test g2_ne_concrete ... ok
[INFO] [stdout] test g2_or_concrete ... ok
[INFO] [stdout] test g2_lt_concrete ... ok
[INFO] [stdout] test g2_mul_concrete ... ok
[INFO] [stdout] test g2_gt_concrete ... ok
[INFO] [stdout] test g2_shl_concrete ... ok
[INFO] [stdout] test g2_shl_large_shift_is_zero ... ok
[INFO] [stdout] test g2_shr_concrete ... ok
[INFO] [stdout] test g2_shr_large_shift_is_zero ... ok
[INFO] [stdout] test g11_pipeline_without_symbolic_flag ... ok
[INFO] [stdout] test g2_sub_concrete ... ok
[INFO] [stdout] test g11_pipeline_with_symbolic_flag ... ok
[INFO] [stdout] test g3_negate_concrete_widens ... ok
[INFO] [stdout] test g3_negate_unknown_preserves_width ... ok
[INFO] [stdout] test g2_unknown_widens_to_64 ... ok
[INFO] [stdout] test g3_not_concrete ... ok
[INFO] [stdout] test g2_top_absorbs_all ... ok
[INFO] [stdout] test g2_xor_concrete ... ok
[INFO] [stdout] test g3_not_top_is_top ... ok
[INFO] [stdout] test g2_two_unknowns_max_width ... ok
[INFO] [stdout] test g4_concrete_through_interval_add ... ok
[INFO] [stdout] test g4_interval_and_lower_bound_is_zero ... ok
[INFO] [stdout] test g4_interval_eq_disjoint ... ok
[INFO] [stdout] test g4_interval_add ... ok
[INFO] [stdout] test g4_interval_mul_four_corner ... ok
[INFO] [stdout] test g4_interval_negate_widens ... ok
[INFO] [stdout] test g4_interval_lt_definitely_false ... ok
[INFO] [stdout] test g4_interval_shr_concrete_shift ... ok
[INFO] [stdout] test g4_interval_not_reverses_order ... ok
[INFO] [stdout] test g4_interval_lt_definitely_true ... ok
[INFO] [stdout] test g4_interval_sub ... ok
[INFO] [stdout] test g4_interval_shl_concrete_shift ... ok
[INFO] [stdout] test g4_interval_lt_indeterminate ... ok
[INFO] [stdout] test g5_eval_binary_add ... ok
[INFO] [stdout] test g5_eval_signal_found ... ok
[INFO] [stdout] test g5_eval_literal_bool ... ok
[INFO] [stdout] test g5_eval_signal_not_found_is_top ... ok
[INFO] [stdout] test g5_eval_literal_integer ... ok
[INFO] [stdout] test g5_eval_prev_is_top ... ok
[INFO] [stdout] test g5_eval_signal_with_interval ... ok
[INFO] [stdout] test g5_eval_nested_expression ... ok
[INFO] [stdout] test g5_eval_with_signal_in_state ... ok
[INFO] [stdout] test g6_concrete_out_of_range ... ok
[INFO] [stdout] test g6_concrete_in_range ... ok
[INFO] [stdout] test g6_interval_contained ... ok
[INFO] [stdout] test g5_eval_unary_not ... ok
[INFO] [stdout] test g6_interval_exceeds ... ok
[INFO] [stdout] test g6_top_always_false ... ok
[INFO] [stdout] test g7_concrete_interval_mix_to_unknown ... ok
[INFO] [stdout] test g6_unknown_always_false ... ok
[INFO] [stdout] test g7_concrete_to_interval ... ok
[INFO] [stdout] test g7_same_is_stable ... ok
[INFO] [stdout] test g7_interval_to_unknown ... ok
[INFO] [stdout] test g8_match_word_empty_patterns ... ok
[INFO] [stdout] test g7_unknown_to_top ... ok
[INFO] [stdout] test g8_match_word_first_wins ... ok
[INFO] [stdout] test g8_match_word_no_match_returns_continue ... ok
[INFO] [stdout] test g8_match_word_trap_action ... ok
[INFO] [stdout] test g8_max_match_patterns_bound ... ok
[INFO] [stdout] test g8_patterns_beyond_bound_ignored ... ok
[INFO] [stdout] test g8_match_word_wildcard_tag ... ok
[INFO] [stdout] test g9_diff_comparison_is_zero ... ok
[INFO] [stdout] test g9_diff_bitwise_and_is_zero ... ok
[INFO] [stdout] test g9_diff_constant_is_zero ... ok
[INFO] [stdout] test g9_diff_bool_literal_is_zero ... ok
[INFO] [stdout] test g9_diff_difference_rule ... ok
[INFO] [stdout] test g9_diff_negate_rule ... ok
[INFO] [stdout] test g9_diff_prev_is_zero ... ok
[INFO] [stdout] test g9_diff_not_is_zero ... ok
[INFO] [stdout] test g9_diff_product_with_constant ... ok
[INFO] [stdout] test g9_diff_same_signal_is_one ... ok
[INFO] [stdout] test g9_diff_other_signal_is_zero ... ok
[INFO] [stdout] test g9_diff_shift_left_rule ... ok
[INFO] [stdout] test g9_diff_shift_right_rule ... ok
[INFO] [stderr]      Running tests/mirr_executor_tests.rs (/opt/rustwide/target/debug/deps/mirr_executor_tests-10693d02d7b64fb6)
[INFO] [stdout] test g9_diff_product_rule ... ok
[INFO] [stdout] test g9_diff_sum_rule ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 92 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 37 tests
[INFO] [stdout] test comprehensive_module_parses_with_expected_signals ... ok
[INFO] [stdout] test alloc_hook_invoked_on_drive ... ok
[INFO] [stdout] test digit_input_triggers_integer_push ... ok
[INFO] [stdout] test empty_input_returns_empty_pushes ... ok
[INFO] [stdout] test invalid_utf8_returns_empty_pushes ... ok
[INFO] [stdout] test comprehensive_module_has_expected_reflexes ... ok
[INFO] [stdout] test keyword_const_recognized ... ok
[INFO] [stdout] test keyword_false_recognized ... ok
[INFO] [stdout] test keyword_guard_recognized ... ok
[INFO] [stdout] test keyword_internal_recognized ... ok
[INFO] [stdout] test keyword_break_recognized ... ok
[INFO] [stdout] test keyword_match_recognized ... ok
[INFO] [stdout] test keyword_module_recognized ... ok
[INFO] [stdout] test keyword_return_recognized ... ok
[INFO] [stdout] test keyword_cycles_recognized ... ok
[INFO] [stdout] test keyword_while_recognized ... ok
[INFO] [stdout] test keyword_struct_recognized ... ok
[INFO] [stdout] test mixed_keywords_and_digits ... ok
[INFO] [stdout] test module_with_no_guards_produces_no_pushes ... ok
[INFO] [stdout] test comprehensive_module_has_expected_guards ... ok
[INFO] [stdout] test keyword_reflex_recognized ... ok
[INFO] [stdout] test integer_push_carries_parsed_value ... ok
[INFO] [stdout] test keyword_signal_recognized ... ok
[INFO] [stdout] test single_eq_does_not_trigger_eq_eq ... ok
[INFO] [stdout] test multiple_separate_digits ... ok
[INFO] [stdout] test two_char_eq_eq_recognized ... ok
[INFO] [stdout] test operators_and_keywords_interleaved ... ok
[INFO] [stdout] test two_char_ge_recognized ... ok
[INFO] [stdout] test two_char_ne_recognized ... ok
[INFO] [stdout] test stress_many_keywords_bounded ... ok
[INFO] [stdout] test stress_many_digit_tokens_bounded ... ok
[INFO] [stdout] test unknown_identifier_no_keyword_push ... ok
[INFO] [stdout] test two_char_le_recognized ... ok
[INFO] [stdout] test whitespace_only_input_returns_empty_pushes ... ok
[INFO] [stdout] test two_char_arrow_recognized ... ok
[INFO] [stdout] test zero_integer_parsed_correctly ... ok
[INFO] [stderr]      Running tests/module_tests.rs (/opt/rustwide/target/debug/deps/module_tests-b442f7c2967ca586)
[INFO] [stdout] test two_char_dotdot_recognized ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 37 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 23 tests
[INFO] [stdout] test all_signal_kinds_and_types ... ok
[INFO] [stdout] test err_guard_invalid_cycles ... ok
[INFO] [stdout] test err_empty_file ... ok
[INFO] [stdout] test err_empty_after_comments ... ok
[INFO] [stdout] test err_reflex_empty_on ... ok
[INFO] [stdout] test err_guard_missing_when ... ok
[INFO] [stdout] test err_signal_bad_type ... ok
[INFO] [stdout] test err_signal_empty_name ... ok
[INFO] [stdout] test err_module_not_closed ... ok
[INFO] [stdout] test err_signal_no_colon ... ok
[INFO] [stdout] test guard_complex_condition ... ok
[INFO] [stdout] test minimal_empty_module ... ok
[INFO] [stdout] test guard_for_single_space ... ok
[INFO] [stdout] test guard_for_no_trailing_semicolon ... ok
[INFO] [stdout] test module_with_brace_on_same_line ... ok
[INFO] [stdout] test err_signal_bad_kind ... ok
[INFO] [stdout] test comments_and_whitespace ... ok
[INFO] [stdout] test err_unexpected_line_in_module ... ok
[INFO] [stdout] test neonatal_respirator ... ok
[INFO] [stdout] test err_signal_no_semicolon ... ok
[INFO] [stdout] test err_no_module ... ok
[INFO] [stdout] test reflex_arithmetic_assignment ... ok
[INFO] [stdout] test reflex_multiple_guards_and_assignments ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 23 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/multi_error_tests.rs (/opt/rustwide/target/debug/deps/multi_error_tests-5bbc0f66a94880d6)
[INFO] [stdout] 
[INFO] [stdout] running 14 tests
[INFO] [stdout] test duplicate_signal_and_undeclared_ref ... ok
[INFO] [stdout] test max_errors_bounded ... ok
[INFO] [stdout] test parse_error_wraps_to_pipeline_errors ... ok
[INFO] [stdout] test multi_writer_signals_reported ... ok
[INFO] [stdout] test pipeline_errors_display ... ok
[INFO] [stdout] test pipeline_errors_from_single ... ok
[INFO] [stdout] test property_errors_accumulated ... ok
[INFO] [stdout] test semantic_errors_gate_typeck ... ok
[INFO] [stdout] test type_errors_accumulate ... ok
[INFO] [stdout] test pattern_errors_accumulate ... ok
[INFO] [stdout] test single_error_still_works ... ok
[INFO] [stdout] test undeclared_signal_dedup ... ok
[INFO] [stdout] test valid_module_no_errors ... ok
[INFO] [stdout] test two_duplicate_signals_reported ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/ownership_tests.rs (/opt/rustwide/target/debug/deps/ownership_tests-4968befab11e7e9b)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test different_reflexes_different_signals_allowed ... ok
[INFO] [stdout] test bool_output_two_writers_e216 ... ok
[INFO] [stdout] test empty_reflexes_passes ... ok
[INFO] [stdout] test pipeline_parse_validate_single_writer_passes ... ok
[INFO] [stdout] test e216_pinned_message_format ... ok
[INFO] [stdout] test pattern_expanded_conflict_shows_origins ... ok
[INFO] [stdout] test e216_pinned_message_format_with_origins ... ok
[INFO] [stdout] test pipeline_parse_validate_multi_writer_e216 ... ok
[INFO] [stdout] test mixed_origin_conflict_no_pattern_suffix ... ok
[INFO] [stdout] test reflex_with_no_assignments_passes ... ok
[INFO] [stdout] test single_reflex_single_assignment_passes ... ok
[INFO] [stdout] test single_reflex_multiple_assignments_allowed ... ok
[INFO] [stdout] test two_reflexes_writing_same_internal_e216 ... ok
[INFO] [stdout] test three_reflexes_first_two_conflict ... ok
[INFO] [stdout] test two_reflexes_writing_same_output_e216 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/parser_edge_cases_tests.rs (/opt/rustwide/target/debug/deps/parser_edge_cases_tests-8701fc1157853817)
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test multiplication_standalone_parses_correctly ... ok
[INFO] [stdout] test reflex_not_closed_pinned ... ok
[INFO] [stdout] test unbalanced_parens_extra_close_pinned ... ok
[INFO] [stdout] test subtraction_standalone_parses_correctly ... ok
[INFO] [stdout] test assignment_empty_rhs_pinned ... ok
[INFO] [stdout] test double_nested_parens_parse_correctly ... ok
[INFO] [stdout] test guard_missing_for_clause_pinned ... ok
[INFO] [stdout] test inline_comment_in_assignment_stripped ... ok
[INFO] [stdout] test too_many_tokens_in_signal_pinned ... ok
[INFO] [stdout] test unbalanced_parens_open_pinned ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/pattern_coverage_basic_tests.rs (/opt/rustwide/target/debug/deps/pattern_coverage_basic_tests-459e0e27833f6308)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test pattern_name_preserved ... ok
[INFO] [stdout] test empty_pattern_list_validates ... ok
[INFO] [stdout] test module_with_guard_no_patterns ... ok
[INFO] [stdout] test basic_module_no_patterns ... ok
[INFO] [stdout] test module_with_property_no_patterns ... ok
[INFO] [stdout] test pipeline_plain_module_no_patterns ... ok
[INFO] [stdout] test parse_simple_pattern ... ok
[INFO] [stdout] test multiple_patterns_parsed ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/pattern_coverage_edge_tests.rs (/opt/rustwide/target/debug/deps/pattern_coverage_edge_tests-34af21d4f88ea75d)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test edge_empty_reflect_block ... ok
[INFO] [stdout] test edge_param_kind_signal ... ok
[INFO] [stdout] test edge_pattern_no_params ... ok
[INFO] [stdout] test edge_pattern_name_preserved ... ok
[INFO] [stdout] test edge_pattern_with_value_param ... ok
[INFO] [stdout] test edge_module_many_signals ... ok
[INFO] [stdout] test edge_no_pattern_calls ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/pattern_integration_tests.rs (/opt/rustwide/target/debug/deps/pattern_integration_tests-c5c78c296f692f1e)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test pattern_arity_mismatch ... ok
[INFO] [stdout] test pattern_full_pipeline ... ok
[INFO] [stdout] test pattern_simple_expand ... ok
[INFO] [stdout] test pattern_multiple_calls ... ok
[INFO] [stdout] test pattern_signal_renaming ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/pipeline_edge_cases_tests.rs (/opt/rustwide/target/debug/deps/pipeline_edge_cases_tests-e50287f785268506)
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test pipeline_semantic_error_for_duplicate_signal ... ok
[INFO] [stdout] test pipeline_simplify_stats_rules_applied_nonzero ... ok
[INFO] [stdout] test pipeline_no_simplify_yes_width_yes_temporal ... ok
[INFO] [stdout] test pipeline_temporal_error_for_xor_guard ... ok
[INFO] [stdout] test pipeline_simplify_stats_nodes_before_gt_zero ... ok
[INFO] [stdout] test pipeline_xor_guard_ok_when_temporal_disabled ... ok
[INFO] [stdout] test pipeline_internal_signal_in_json ... ok
[INFO] [stdout] test pipeline_internal_signal_in_verilog ... ok
[INFO] [stdout] test pipeline_internal_signal_in_dot ... ok
[INFO] [stderr]      Running tests/pipeline_tests.rs (/opt/rustwide/target/debug/deps/pipeline_tests-e2d717d62177e36d)
[INFO] [stdout] test pipeline_yes_simplify_no_width_yes_temporal ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 28 tests
[INFO] [stdout] test dot_empty_module_still_valid ... ok
[INFO] [stdout] test dot_output_contains_guard_diamond ... ok
[INFO] [stdout] test dot_output_contains_reflex_edges ... ok
[INFO] [stdout] test json_output_contains_ir_version ... ok
[INFO] [stdout] test dot_output_contains_temporal_subgraph ... ok
[INFO] [stdout] test dot_output_contains_digraph ... ok
[INFO] [stdout] test dot_output_contains_signal_nodes ... ok
[INFO] [stdout] test dot_expr_detail_produces_subgraphs ... ok
[INFO] [stdout] test json_output_contains_width_stats ... ok
[INFO] [stdout] test json_output_contains_temporal_netlist ... ok
[INFO] [stdout] test json_output_parses_as_valid_json ... ok
[INFO] [stdout] test json_output_null_when_stages_skipped ... ok
[INFO] [stdout] test json_output_contains_simplify_stats ... ok
[INFO] [stdout] test pipeline_arithmetic_no_width_errors ... ok
[INFO] [stdout] test pipeline_empty_module_no_guards ... ok
[INFO] [stdout] test json_output_contains_program_module ... ok
[INFO] [stdout] test pipeline_parse_only ... ok
[INFO] [stdout] test sv_output_contains_always_ff ... ok
[INFO] [stdout] test pipeline_simplify_without_width ... ok
[INFO] [stdout] test sv_output_contains_module_declaration ... ok
[INFO] [stdout] test sv_counter_guard_emits_counter_logic ... ok
[INFO] [stdout] test pipeline_width_without_temporal ... ok
[INFO] [stdout] test pipeline_rejects_invalid_source ... ok
[INFO] [stderr]      Running tests/property_directive_tests.rs (/opt/rustwide/target/debug/deps/property_directive_tests-5e0dcfe8e6c38747)
[INFO] [stdout] test pipeline_full_neonatal ... ok
[INFO] [stdout] test sv_output_contains_width_annotations ... ok
[INFO] [stdout] test sv_output_contains_port_directions ... ok
[INFO] [stdout] test sv_empty_module_still_valid ... ok
[INFO] [stdout] test sv_output_contains_always_comb ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 28 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 56 tests
[INFO] [stdout] test directive_all_three_distinct ... ok
[INFO] [stdout] test always_followed_by_fields ... ok
[INFO] [stdout] test directive_clone_eq ... ok
[INFO] [stdout] test directive_default_is_assert ... ok
[INFO] [stdout] test eventually_within_missing_within_rejected ... ok
[INFO] [stdout] test dot_assert_property_fillcolor ... ok
[INFO] [stdout] test eventually_within_zero_cycles_rejected ... ok
[INFO] [stdout] test eventually_within_fields ... ok
[INFO] [stdout] test exprs_mut_eventually_within_modifiable ... ok
[INFO] [stdout] test exprs_mut_always_followed_by_modifiable ... ok
[INFO] [stdout] test dot_cover_property_fillcolor ... ok
[INFO] [stdout] test exprs_always_followed_by_returns_two ... ok
[INFO] [stdout] test exprs_mut_never_implies_modifiable ... ok
[INFO] [stdout] test exprs_eventually_within_returns_one ... ok
[INFO] [stdout] test firrtl_eventually_within_comment ... ok
[INFO] [stdout] test firrtl_property_comment_cover_prefix ... ok
[INFO] [stdout] test followed_by_invalid_delay_rejected ... ok
[INFO] [stdout] test full_pipeline_all_six_formula_variants ... ok
[INFO] [stdout] test followed_by_validation_passes ... ok
[INFO] [stdout] test exprs_never_implies_returns_two ... ok
[INFO] [stdout] test followed_by_zero_delay_rejected ... ok
[INFO] [stdout] test eventually_within_validation_passes ... ok
[INFO] [stdout] test firrtl_property_comment_assert ... ok
[INFO] [stdout] test full_pipeline_existing_example_still_compiles ... ok
[INFO] [stdout] test full_pipeline_mixed_directives ... ok
[INFO] [stdout] test parse_always_followed_by ... ok
[INFO] [stdout] test json_directive_field_present ... ok
[INFO] [stdout] test json_eventually_within_kind ... ok
[INFO] [stdout] test json_never_implies_kind ... ok
[INFO] [stdout] test never_implies_fields ... ok
[INFO] [stdout] test parse_assert_always_default ... ok
[INFO] [stdout] test parse_assume_always ... ok
[INFO] [stdout] test never_implies_validation_passes ... ok
[INFO] [stdout] test parse_cover_always ... ok
[INFO] [stdout] test parse_assume_implies ... ok
[INFO] [stdout] test parse_cover_eventually_within ... ok
[INFO] [stdout] test parse_cover_never ... ok
[INFO] [stdout] test parse_cover_never_implies ... ok
[INFO] [stdout] test parse_eventually_within ... ok
[INFO] [stdout] test parse_assume_always_followed_by ... ok
[INFO] [stdout] test json_always_followed_by_kind ... ok
[INFO] [stdout] test prev_zero_delay_in_eventually_within_rejected ... ok
[INFO] [stdout] test parse_never_implies ... ok
[INFO] [stdout] test prev_valid_delay_in_new_variants_passes ... ok
[INFO] [stdout] test prev_zero_delay_in_followed_by_response_rejected ... ok
[INFO] [stdout] test prev_zero_delay_in_followed_by_trigger_rejected ... ok
[INFO] [stdout] test prev_zero_delay_in_never_implies_antecedent_rejected ... ok
[INFO] [stdout] test prev_zero_delay_in_never_implies_consequent_rejected ... ok
[INFO] [stdout] test sva_assert_always_keyword ... ok
[INFO] [stdout] test sva_assume_keyword ... ok
[INFO] [stdout] test sva_cover_never_implies_combined ... ok
[INFO] [stdout] test sva_cover_keyword ... ok
[INFO] [stdout] test sva_never_implies_output ... ok
[INFO] [stdout] test sva_eventually_within_output ... ok
[INFO] [stdout] test parse_cover_shorthand_parens ... ok
[INFO] [stdout] test sva_followed_by_output ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 56 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/property_expansion_tests.rs (/opt/rustwide/target/debug/deps/property_expansion_tests-f24aa0de68fa1898)
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test exprs_mut_allows_modification ... ok
[INFO] [stdout] test exprs_always_returns_one ... ok
[INFO] [stdout] test prev_valid_delay_in_property_passes ... ok
[INFO] [stdout] test full_pipeline_with_all_three_property_forms ... ok
[INFO] [stdout] test existing_property_examples_compile ... ok
[INFO] [stdout] test prev_zero_delay_in_always_property_is_rejected ... ok
[INFO] [stdout] test prev_zero_delay_in_implies_antecedent_is_rejected ... ok
[INFO] [stdout] test exprs_implies_returns_two ... ok
[INFO] [stdout] test exprs_never_returns_one ... ok
[INFO] [stdout] test prev_zero_delay_in_never_property_is_rejected ... ok
[INFO] [stdout] test prev_zero_delay_in_implies_consequent_is_rejected ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/property_tests.rs (/opt/rustwide/target/debug/deps/property_tests-c9f70ba25852b19c)
[INFO] [stdout] 
[INFO] [stdout] running 40 tests
[INFO] [stdout] test dot_property_edges_connect_to_signals ... ok
[INFO] [stdout] test dot_module_property_nodes_present ... ok
[INFO] [stdout] test json_always_implies_kind_string ... ok
[INFO] [stdout] test json_properties_key_present ... ok
[INFO] [stdout] test json_formula_text_readable ... ok
[INFO] [stdout] test json_never_kind_string ... ok
[INFO] [stdout] test parse_always_implies_property ... ok
[INFO] [stdout] test parse_always_property_simple ... ok
[INFO] [stdout] test parse_always_complex_both_sides ... ok
[INFO] [stdout] test parse_property_empty_formula_error ... ok
[INFO] [stdout] test parse_never_property_simple ... ok
[INFO] [stdout] test parse_always_complex_implies ... ok
[INFO] [stdout] test parse_property_nested_parens ... ok
[INFO] [stdout] test parse_property_missing_keyword_error ... ok
[INFO] [stdout] test pipeline_property_duplicate_error ... ok
[INFO] [stdout] test pipeline_properties_survive_simplification ... ok
[INFO] [stdout] test property_undeclared_signal_always_pinned ... ok
[INFO] [stdout] test json_always_kind_string ... ok
[INFO] [stdout] test property_undeclared_signal_implies_consequent_pinned ... ok
[INFO] [stdout] test property_undeclared_signal_never_pinned ... ok
[INFO] [stdout] test parse_property_missing_closing_brace_error ... ok
[INFO] [stdout] test parse_never_with_comparison ... ok
[INFO] [stdout] test property_valid_always_passes ... ok
[INFO] [stdout] test property_valid_never_passes ... ok
[INFO] [stdout] test property_valid_implies_passes ... ok
[INFO] [stdout] test pipeline_neonatal_with_properties_e2e ... ok
[INFO] [stdout] test pipeline_property_semantic_error_propagates ... ok
[INFO] [stdout] test sva_always_emits_assert_property ... ok
[INFO] [stdout] test property_duplicate_name_pinned_message ... ok
[INFO] [stdout] test sva_embedded_in_full_sv ... ok
[INFO] [stdout] test sva_complex_expression_renders_correctly ... ok
[INFO] [stdout] test property_undeclared_signal_implies_antecedent_pinned ... ok
[INFO] [stdout] test sva_disable_iff_when_rst_n_declared ... ok
[INFO] [stdout] test sva_implies_emits_implication_operator ... ok
[INFO] [stdout] test sva_empty_properties_no_section ... ok
[INFO] [stdout] test json_empty_properties_array ... ok
[INFO] [stdout] test sva_no_disable_iff_without_rst_n ... ok
[INFO] [stdout] test sva_posedge_clk_always_present ... ok
[INFO] [stdout] test sva_standalone_mode_no_module_wrapper ... ok
[INFO] [stdout] test sva_never_emits_negated ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 40 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/riscv_integration_tests.rs (/opt/rustwide/target/debug/deps/riscv_integration_tests-e7d4f761ccbf5b02)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test riscv_emit_alu_operations ... ok
[INFO] [stderr]      Running tests/rspu_sim_tests.rs (/opt/rustwide/target/debug/deps/rspu_sim_tests-7a0a54d3660a8b51)
[INFO] [stdout] test riscv_emit_assertions ... ok
[INFO] [stdout] test riscv_emit_empty_program ... ok
[INFO] [stdout] test riscv_emit_full_program ... ok
[INFO] [stdout] test riscv_emit_counter ... ok
[INFO] [stdout] test riscv_emit_load_input ... ok
[INFO] [stdout] test riscv_emit_shift_register ... ok
[INFO] [stdout] test riscv_emit_store_output ... ok
[INFO] [stdout] test riscv_register_bounds ... ok
[INFO] [stdout] test riscv_emit_reflex_if ... ok
[INFO] [stdout] test riscv_nop_produces_nop ... ok
[INFO] [stdout] test riscv_halt_produces_ecall ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/sat_tests.rs (/opt/rustwide/target/debug/deps/sat_tests-92558aa46483b75a)
[INFO] [stdout] 
[INFO] [stdout] running 25 tests
[INFO] [stdout] test test_encoding_roundtrip_full_program ... ok
[INFO] [stdout] test test_sim_alu_comparison_eq ... ok
[INFO] [stdout] test test_encoding_all_alu_ops ... ok
[INFO] [stdout] test test_sim_alu_multiply ... ok
[INFO] [stdout] test test_sim_alu_chain ... ok
[INFO] [stdout] test test_sim_alu_comparison_lt ... ok
[INFO] [stdout] test test_sim_assert_always_fail ... ok
[INFO] [stdout] test test_sim_alu_subtract ... ok
[INFO] [stdout] test test_sim_assert_never_pass ... ok
[INFO] [stdout] test test_sim_emergency_stop ... ok
[INFO] [stdout] test test_sim_guard_sr_init_query ... ok
[INFO] [stdout] test test_sim_assert_never_fail ... ok
[INFO] [stdout] test test_sim_deadline_set_no_expiry ... ok
[INFO] [stdout] test test_sim_fence_is_noop ... ok
[INFO] [stdout] test test_sim_load_store_identity ... ok
[INFO] [stdout] test test_sim_assert_always_pass ... ok
[INFO] [stdout] test test_sim_nop_program ... ok
[INFO] [stdout] test test_sim_reflex_if_active ... ok
[INFO] [stdout] test test_sim_tag_load_and_check ... ok
[INFO] [stdout] test test_sim_reflex_if_inactive ... ok
[INFO] [stdout] test test_sim_mode_switch ... ok
[INFO] [stdout] test test_sim_tag_check_violation ... ok
[INFO] [stdout] test test_sim_trap ... ok
[INFO] [stdout] test test_sim_trap_if_true ... ok
[INFO] [stdout] test test_sim_trap_if_false ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 25 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 19 tests
[INFO] [stdout] test sat_arithmetic_reflex_bypassed ... ok
[INFO] [stdout] test sat_disabled_produces_no_stats ... ok
[INFO] [stdout] test sat_full_pipeline_with_width_and_temporal ... ok
[INFO] [stdout] test sat_empty_module_produces_stats ... ok
[INFO] [stdout] test sat_double_negation_simplifies ... ok
[INFO] [stdout] test sat_complex_nested_no_unknown ... ok
[INFO] [stdout] test sat_comparison_guard_runs ... ok
[INFO] [stdout] test sat_and_guard_succeeds ... ok
[INFO] [stdout] test sat_long_cycle_guard_succeeds ... ok
[INFO] [stdout] test sat_internal_signal_module ... ok
[INFO] [stdout] test sat_preserves_simplify_stats ... ok
[INFO] [stdout] test sat_nested_bool_expression ... ok
[INFO] [stdout] test sat_rejects_invalid_source ... ok
[INFO] [stdout] test sat_minimal_bool_succeeds ... ok
[INFO] [stdout] test sat_negated_bool_guard ... ok
[INFO] [stdout] test sat_multi_guard_reflex ... ok
[INFO] [stdout] test sat_trivial_assign_handled ... ok
[INFO] [stderr]      Running tests/self_hosting_ir_schema_tests.rs (/opt/rustwide/target/debug/deps/self_hosting_ir_schema_tests-254242f6399ae6ac)
[INFO] [stdout] test sat_or_guard_succeeds ... ok
[INFO] [stdout] test sat_stats_equivalences_nonnegative ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 19 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test ast_golden_fixture_neonatal_guard_condition ... ok
[INFO] [stdout] test ast_json_contains_ir_version_key ... ok
[INFO] [stdout] test ast_roundtrip_neonatal_respirator ... ok
[INFO] [stdout] test ast_golden_fixture_neonatal_signal_names ... ok
[INFO] [stdout] test netlist_ir_version_field_is_correct ... ok
[INFO] [stdout] test netlist_serializes_to_valid_json ... ok
[INFO] [stdout] test ast_serializes_to_valid_json ... ok
[INFO] [stdout] test ast_golden_fixture_seizure_monitor ... ok
[INFO] [stderr]      Running tests/self_hosting_parity_tests.rs (/opt/rustwide/target/debug/deps/self_hosting_parity_tests-f829533e3c1e6252)
[INFO] [stdout] test ast_ir_version_field_is_correct ... ok
[INFO] [stdout] test netlist_golden_fixture_counter_strategy_used ... ok
[INFO] [stdout] test netlist_statistics_fields_present_in_json ... ok
[INFO] [stdout] test netlist_golden_fixture_neonatal_respirator ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test selfhost_missing_file_fails_pipeline ... ok
[INFO] [stdout] test selfhost_fixture_json_roundtrip_stable ... ok
[INFO] [stdout] test selfhost_failure_summary_says_fail ... ok
[INFO] [stdout] test selfhost_neonatal_all_stages_pass ... ok
[INFO] [stdout] test selfhost_neonatal_fixture_parity_stage_present ... ok
[INFO] [stdout] test selfhost_neonatal_emits_valid_json ... ok
[INFO] [stdout] test selfhost_neonatal_has_five_stages ... ok
[INFO] [stdout] test selfhost_neonatal_statistics_contract ... ok
[INFO] [stdout] test selfhost_neonatal_guard_strategy_is_counter ... ok
[INFO] [stdout] test selfhost_parse_error_fails_pipeline ... ok
[INFO] [stdout] test selfhost_summary_line_ci_format ... ok
[INFO] [stdout] test selfhost_validation_error_fails_pipeline ... ok
[INFO] [stdout] test selfhost_neonatal_signal_contract ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/semantic_validation_tests.rs (/opt/rustwide/target/debug/deps/semantic_validation_tests-611b75ab6fcfedb6)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test duplicate_guard_name_pinned_message ... ok
[INFO] [stdout] test duplicate_reflex_name_pinned_message ... ok
[INFO] [stdout] test prev_delay_one_is_valid ... ok
[INFO] [stdout] test duplicate_signal_name_pinned_message ... ok
[INFO] [stdout] test prev_delay_zero_in_guard_condition_pinned_message ... ok
[INFO] [stdout] test undeclared_signal_inside_prev_in_guard ... ok
[INFO] [stdout] test undeclared_signal_inside_prev_in_reflex_rhs ... ok
[INFO] [stdout] test prev_delay_zero_in_reflex_rhs_pinned_message ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/sexpr_convert_from_sexpr_tests.rs (/opt/rustwide/target/debug/deps/sexpr_convert_from_sexpr_tests-eb71d6f05fa3fd28)
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test roundtrip_preserves_signal_count ... ok
[INFO] [stdout] test roundtrip_property_count ... ok
[INFO] [stdout] test double_roundtrip_idempotent ... ok
[INFO] [stdout] test roundtrip_preserves_module_name ... ok
[INFO] [stdout] test roundtrip_guard_count ... ok
[INFO] [stdout] test sexpr_to_ast_ok_for_valid_sexpr ... ok
[INFO] [stdout] test roundtrip_preserves_signal_name ... ok
[INFO] [stdout] test roundtrip_serializes_to_same_text ... ok
[INFO] [stdout] test empty_program_roundtrip_succeeds ... ok
[INFO] [stdout] test roundtrip_empty_reflexes ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/sexpr_convert_to_sexpr_tests.rs (/opt/rustwide/target/debug/deps/sexpr_convert_to_sexpr_tests-0a24578fd849e13a)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test empty_program_list_non_empty ... ok
[INFO] [stdout] test input_signal_name_appears ... ok
[INFO] [stdout] test empty_program_produces_list ... ok
[INFO] [stdout] test binary_gt_in_guard ... ok
[INFO] [stdout] test deterministic_output ... ok
[INFO] [stdout] test integer_literal_appears ... ok
[INFO] [stdout] test guard_name_appears ... ok
[INFO] [stdout] test module_name_in_output ... ok
[INFO] [stdout] test output_signal_appears ... ok
[INFO] [stdout] test multiple_signals_all_present ... ok
[INFO] [stdout] test program_head_is_program ... ok
[INFO] [stdout] test property_appears_in_output ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/sexpr_eval_tests.rs (/opt/rustwide/target/debug/deps/sexpr_eval_tests-78d2ac7793500e77)
[INFO] [stdout] 
[INFO] [stdout] running 38 tests
[INFO] [stdout] test error_e803_depth ... ok
[INFO] [stdout] test error_e801_truncated ... ok
[INFO] [stdout] test error_e800_bad_token ... ok
[INFO] [stdout] test eval_bool_pred ... ok
[INFO] [stdout] test eval_bool_self ... ok
[INFO] [stdout] test eval_cons ... ok
[INFO] [stdout] test eval_cdr ... ok
[INFO] [stdout] test eval_empty_list ... ok
[INFO] [stdout] test eval_eq_true ... ok
[INFO] [stdout] test eval_if_false ... ok
[INFO] [stdout] test eval_if_true ... ok
[INFO] [stdout] test error_e802_unbalanced ... ok
[INFO] [stdout] test eval_eq_false ... ok
[INFO] [stdout] test eval_depth_limit ... ok
[INFO] [stdout] test eval_car ... ok
[INFO] [stdout] test eval_integer_pred ... ok
[INFO] [stdout] test eval_string_self ... ok
[INFO] [stdout] test eval_integer_self ... ok
[INFO] [stdout] test eval_symbol_pred ... ok
[INFO] [stdout] test eval_list_construction ... ok
[INFO] [stdout] test eval_list_pred ... ok
[INFO] [stdout] test eval_undefined_symbol ... ok
[INFO] [stdout] test eval_nested_if ... ok
[INFO] [stdout] test eval_quote ... ok
[INFO] [stdout] test hygiene_param_passthrough ... ok
[INFO] [stdout] test expand_depth_limit ... ok
[INFO] [stdout] test hygiene_two_expansions ... ok
[INFO] [stdout] test eval_step_limit ... ok
[INFO] [stdout] test hygiene_no_capture ... ok
[INFO] [stdout] test reader_delay ... ok
[INFO] [stdout] test reader_freq_ghz ... ok
[INFO] [stdout] test reader_freq_hz ... ok
[INFO] [stdout] test reader_freq_khz ... ok
[INFO] [stdout] test reader_freq_mhz ... ok
[INFO] [stdout] test reader_range ... ok
[INFO] [stdout] test reader_unknown ... ok
[INFO] [stdout] test reader_registry_limit ... ok
[INFO] [stdout] test reader_registry_builtin_count ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 38 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/sexpr_roundtrip_tests.rs (/opt/rustwide/target/debug/deps/sexpr_roundtrip_tests-3c3bb9e8db029a06)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test sexpr_parse_number ... ok
[INFO] [stdout] test sexpr_parse_list ... ok
[INFO] [stdout] test sexpr_parse_nested ... ok
[INFO] [stdout] test sexpr_print_pretty ... ok
[INFO] [stdout] test sexpr_parse_empty_list ... ok
[INFO] [stdout] test sexpr_parse_atom ... ok
[INFO] [stdout] test sexpr_roundtrip_empty ... ok
[INFO] [stdout] test sexpr_roundtrip_mixed ... ok
[INFO] [stdout] test sexpr_roundtrip_atom ... ok
[INFO] [stdout] test sexpr_roundtrip_nested ... ok
[INFO] [stdout] test sexpr_roundtrip_list ... ok
[INFO] [stderr]      Running tests/sexpr_tests.rs (/opt/rustwide/target/debug/deps/sexpr_tests-860f6067b095865a)
[INFO] [stdout] test sexpr_roundtrip_numbers ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 29 tests
[INFO] [stdout] test head_symbol ... ok
[INFO] [stdout] test accessor_methods ... ok
[INFO] [stdout] test display_trait ... ok
[INFO] [stdout] test constructor_helpers ... ok
[INFO] [stdout] test is_atom ... ok
[INFO] [stdout] test clone_independence ... ok
[INFO] [stdout] test equality ... ok
[INFO] [stdout] test node_count ... ok
[INFO] [stdout] test parse_atom_integer ... ok
[INFO] [stdout] test parse_atom_string ... ok
[INFO] [stdout] test parse_comment_skipping ... ok
[INFO] [stdout] test parse_atom_symbol ... ok
[INFO] [stdout] test parse_depth_limit ... ok
[INFO] [stdout] test parse_atom_bool_false ... ok
[INFO] [stdout] test parse_atom_bool_true ... ok
[INFO] [stdout] test parse_empty_input ... ok
[INFO] [stdout] test parse_empty_list ... ok
[INFO] [stdout] test parse_mixed_atoms ... ok
[INFO] [stdout] test parse_nested_list ... ok
[INFO] [stdout] test parse_quote ... ok
[INFO] [stdout] test print_atom ... ok
[INFO] [stdout] test print_nested ... ok
[INFO] [stdout] test print_empty_list ... ok
[INFO] [stderr]      Running tests/signed_type_tests.rs (/opt/rustwide/target/debug/deps/signed_type_tests-8cffdace68d21a8d)
[INFO] [stdout] test parse_simple_list ... ok
[INFO] [stdout] test print_parse_roundtrip ... ok
[INFO] [stdout] test parse_unbalanced ... ok
[INFO] [stdout] test print_quote ... ok
[INFO] [stdout] test print_short_list ... ok
[INFO] [stdout] test type_predicates ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 29 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 31 tests
[INFO] [stdout] test negate_signed_preserves_type ... ok
[INFO] [stdout] test guard_condition_signed_rejected ... ok
[INFO] [stdout] test logical_and_on_signed_rejected ... ok
[INFO] [stdout] test mixed_signed_unsigned_arithmetic_rejected ... ok
[INFO] [stdout] test negate_bool_rejected ... ok
[INFO] [stdout] test negate_unsigned_produces_signed_correct ... ok
[INFO] [stdout] test firrtl_emits_sint_type ... ok
[INFO] [stdout] test signed_addition_same_type_passes ... ok
[INFO] [stdout] test parse_signed_signal_i32 ... ok
[INFO] [stdout] test signed_assignment_same_type_passes ... ok
[INFO] [stdout] test pipeline_signed_source_end_to_end ... ok
[INFO] [stdout] test parse_unary_negate_expression ... ok
[INFO] [stdout] test parse_signed_signal_i8 ... ok
[INFO] [stdout] test negate_unsigned_produces_signed ... ok
[INFO] [stdout] test signed_comparison_produces_bool ... ok
[INFO] [stdout] test parse_signed_signal_i16 ... ok
[INFO] [stdout] test signed_equality_passes ... ok
[INFO] [stdout] test signed_narrowing_i16_to_i8_rejected ... ok
[INFO] [stdout] test signed_subtraction_passes ... ok
[INFO] [stdout] test signed_shift_left_passes ... ok
[INFO] [stdout] test signed_to_unsigned_cross_assign_rejected ... ok
[INFO] [stdout] test signed_type_display ... ok
[INFO] [stdout] test signed_vs_unsigned_equality_rejected ... ok
[INFO] [stdout] test signed_widening_i8_to_i16_passes ... ok
[INFO] [stdout] test signed_xor_cross_category_rejected ... ok
[INFO] [stdout] test signed_xor_same_type_passes ... ok
[INFO] [stderr]      Running tests/simplify_tests.rs (/opt/rustwide/target/debug/deps/simplify_tests-e2c57b8cea1ce98a)
[INFO] [stdout] test signed_multiplication_passes ... ok
[INFO] [stdout] test signed_shift_right_passes ... ok
[INFO] [stdout] test signed_vs_unsigned_comparison_rejected ... ok
[INFO] [stdout] test unsigned_to_signed_cross_assign_rejected ... ok
[INFO] [stdout] test verilog_emits_signed_type ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 31 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 58 tests
[INFO] [stdout] test add_constants ... ok
[INFO] [stdout] test and_contradiction_reversed ... ok
[INFO] [stdout] test and_true_right ... ok
[INFO] [stdout] test bool_literal_passthrough ... ok
[INFO] [stdout] test cascading_and_true_or_false ... ok
[INFO] [stdout] test and_idempotent ... ok
[INFO] [stdout] test and_contradiction ... ok
[INFO] [stdout] test cascading_double_neg_and_true ... ok
[INFO] [stdout] test cmp_eq_true ... ok
[INFO] [stdout] test and_false_right ... ok
[INFO] [stdout] test cmp_gt_true ... ok
[INFO] [stdout] test cmp_eq_false ... ok
[INFO] [stdout] test cmp_ge_true ... ok
[INFO] [stdout] test add_zero_right ... ok
[INFO] [stdout] test and_false_left ... ok
[INFO] [stdout] test and_true_left ... ok
[INFO] [stdout] test add_zero_left ... ok
[INFO] [stdout] test cmp_le_true ... ok
[INFO] [stdout] test cmp_lt_true ... ok
[INFO] [stdout] test cmp_ne_false ... ok
[INFO] [stdout] test cmp_ne_true ... ok
[INFO] [stdout] test int_literal_passthrough ... ok
[INFO] [stdout] test mul_constants ... ok
[INFO] [stdout] test double_negation ... ok
[INFO] [stdout] test mul_one_left ... ok
[INFO] [stdout] test not_false ... ok
[INFO] [stdout] test mul_zero_left ... ok
[INFO] [stdout] test mul_zero_right ... ok
[INFO] [stdout] test cmp_lt_false ... ok
[INFO] [stdout] test nested_arithmetic ... ok
[INFO] [stdout] test mul_one_right ... ok
[INFO] [stdout] test not_true ... ok
[INFO] [stdout] test non_simplifiable_comparison_passthrough ... ok
[INFO] [stdout] test or_false_right ... ok
[INFO] [stdout] test fixpoint_idempotent ... ok
[INFO] [stdout] test or_tautology_reversed ... ok
[INFO] [stdout] test shl_clamped_to_63 ... ok
[INFO] [stdout] test or_false_left ... ok
[INFO] [stdout] test or_tautology ... ok
[INFO] [stdout] test shl_constants ... ok
[INFO] [stdout] test or_idempotent ... ok
[INFO] [stdout] test or_true_right ... ok
[INFO] [stdout] test shl_zero ... ok
[INFO] [stdout] test shr_constants ... ok
[INFO] [stdout] test shr_zero ... ok
[INFO] [stdout] test signal_passthrough ... ok
[INFO] [stdout] test sub_constants ... ok
[INFO] [stdout] test xor_false_left ... ok
[INFO] [stdout] test sub_wrapping ... ok
[INFO] [stdout] test temporal_pipeline_simplifies_guard_conditions ... ok
[INFO] [stdout] test sub_zero ... ok
[INFO] [stdout] test xor_false_right ... ok
[INFO] [stdout] test xor_true_right ... ok
[INFO] [stdout] test xor_self_cancel ... ok
[INFO] [stdout] test xor_true_left ... ok
[INFO] [stdout] test or_true_left ... ok
[INFO] [stdout] test stats_reports_rule_application ... ok
[INFO] [stdout] test stats_zero_for_no_simplification ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 58 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/span_tests.rs (/opt/rustwide/target/debug/deps/span_tests-1729f52627cfd11c)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test guard_has_multi_line_span ... ok
[INFO] [stdout] test assignment_inside_reflex_has_span ... ok
[INFO] [stdout] test parse_error_has_span ... ok
[INFO] [stdout] test reflex_has_multi_line_span ... ok
[INFO] [stdout] test property_has_multi_line_span ... ok
[INFO] [stdout] test semantic_error_has_span_from_node ... ok
[INFO] [stdout] test span_merge_works ... ok
[INFO] [stdout] test signal_decl_has_full_line_span ... ok
[INFO] [stdout] test module_has_span_covering_entire_block ... ok
[INFO] [stdout] 
[INFO] [stderr]      Running tests/stdlib_conformance_tests.rs (/opt/rustwide/target/debug/deps/stdlib_conformance_tests-49a7a5a0c4641216)
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 19 tests
[INFO] [stdout] test diag_code_table_has_25_entries ... ok
[INFO] [stdout] test diag_parse_guard_invalid_cycles_is_parse_class ... ok
[INFO] [stdout] test diag_parse_module_not_closed_is_parse_class ... ok
[INFO] [stdout] test diag_parse_signal_unknown_kind_is_parse_class ... ok
[INFO] [stdout] test diag_parse_signal_missing_semicolon_is_parse_class ... ok
[INFO] [stdout] test diag_parse_empty_source_is_parse_class ... ok
[INFO] [stdout] test diag_parse_expected_module_is_parse_class ... ok
[INFO] [stdout] test diag_sem_duplicate_guard_is_semantic_class ... ok
[INFO] [stdout] test diag_sem_duplicate_reflex_is_semantic_class ... ok
[INFO] [stdout] test diag_sem_undeclared_guard_in_reflex_is_semantic_class ... ok
[INFO] [stdout] test diag_sem_duplicate_signal_is_semantic_class ... ok
[INFO] [stdout] test stdlib_token_buffer_capacity_constant_is_8192 ... ok
[INFO] [stdout] test diag_sem_assign_to_input_is_semantic_class ... ok
[INFO] [stdout] test diag_sem_assign_to_undeclared_is_semantic_class ... ok
[INFO] [stdout] test diag_sem_undeclared_signal_in_guard_is_semantic_class ... ok
[INFO] [stdout] test stdlib_fixed_map_capacity_sufficient_for_typical_module ... ok
[INFO] [stdout] test diag_parse_reflex_empty_on_is_parse_class ... ok
[INFO] [stdout] test diag_parse_guard_missing_when_is_parse_class ... ok
[INFO] [stderr]      Running tests/stress_generator_tests.rs (/opt/rustwide/target/debug/deps/stress_generator_tests-4fc65a8fd7546717)
[INFO] [stdout] test diag_parse_signal_unknown_type_is_parse_class ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 19 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test generator_runs_and_outputs_text_rust ... ok
[INFO] [stdout] Temporal Guard Compilation Results:
[INFO] [stdout] Temporal Netlist Summary:
[INFO] [stdout] - Guards: 0
[INFO] [stdout] - Signals: 0
[INFO] [stdout] - Shift Registers: 0
[INFO] [stdout] - Counters: 0
[INFO] [stdout] - Logic Gates: 0
[INFO] [stdout] - Max Delay: 0 cycles
[INFO] [stdout] 
[INFO] [stdout] Detailed Guard Information:
[INFO] [stdout] 
[INFO] [stdout] Generated Signals:
[INFO] [stdout] Temporal Guard Compilation Results:
[INFO] [stdout] Temporal Netlist Summary:
[INFO] [stdout] - Guards: 5
[INFO] [stdout] - Signals: 10
[INFO] [stdout] - Shift Registers: 5
[INFO] [stdout] - Counters: 0
[INFO] [stdout] - Logic Gates: 5
[INFO] [stdout] - Max Delay: 1 cycles
[INFO] [stdout] 
[INFO] [stdout] Detailed Guard Information:
[INFO] [stdout] Guard 1: ShiftRegister(ShiftRegisterGuard { name: "g0", input_signal: "in_sig", output_signal: "g0_out", stages: ["g0_sr_0"], delay_cycles: 1, condition_kind: SimpleSignal("in_sig") })
[INFO] [stdout] Guard 2: ShiftRegister(ShiftRegisterGuard { name: "g1", input_signal: "g0", output_signal: "g1_out", stages: ["g1_sr_0"], delay_cycles: 1, condition_kind: SimpleSignal("g0") })
[INFO] [stdout] Guard 3: ShiftRegister(ShiftRegisterGuard { name: "g2", input_signal: "g1", output_signal: "g2_out", stages: ["g2_sr_0"], delay_cycles: 1, condition_kind: SimpleSignal("g1") })
[INFO] [stdout] Guard 4: ShiftRegister(ShiftRegisterGuard { name: "g3", input_signal: "g2", output_signal: "g3_out", stages: ["g3_sr_0"], delay_cycles: 1, condition_kind: SimpleSignal("g2") })
[INFO] [stdout] Guard 5: ShiftRegister(ShiftRegisterGuard { name: "g4", input_signal: "g3", output_signal: "g4_out", stages: ["g4_sr_0"], delay_cycles: 1, condition_kind: SimpleSignal("g3") })
[INFO] [stdout] 
[INFO] [stdout] Generated Signals:
[INFO] [stdout]   - g0_sr_0 (ShiftRegisterStage)
[INFO] [stdout]   - g0_out (LogicGate)
[INFO] [stdout]   - g1_sr_0 (ShiftRegisterStage)
[INFO] [stdout]   - g1_out (LogicGate)
[INFO] [stdout]   - g2_sr_0 (ShiftRegisterStage)
[INFO] [stdout]   - g2_out (LogicGate)
[INFO] [stdout]   - g3_sr_0 (ShiftRegisterStage)
[INFO] [stdout]   - g3_out (LogicGate)
[INFO] [stdout]   - g4_sr_0 (ShiftRegisterStage)
[INFO] [stdout]   - g4_out (LogicGate)
[INFO] [stderr]      Running tests/stress_tests.rs (/opt/rustwide/target/debug/deps/stress_tests-3c84d006d221990e)
[INFO] [stdout] Temporal Guard Compilation Results:
[INFO] [stdout] Temporal Netlist Summary:
[INFO] [stdout] - Guards: 0
[INFO] [stdout] - Signals: 0
[INFO] [stdout] - Shift Registers: 0
[INFO] [stdout] - Counters: 0
[INFO] [stdout] - Logic Gates: 0
[INFO] [stdout] - Max Delay: 0 cycles
[INFO] [stdout] 
[INFO] [stdout] Detailed Guard Information:
[INFO] [stdout] 
[INFO] [stdout] Generated Signals:
[INFO] [stdout] test generated_templates_compile ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.18s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test stress_deep_expression_nesting_error ... ok
[INFO] [stdout] test stress_full_module ... ok
[INFO] [stdout] test stress_large_cycle_count ... ok
[INFO] [stdout] test stress_many_guards ... ok
[INFO] [stdout] test stress_many_reflexes ... ok
[INFO] [stdout] test stress_many_signals ... ok
[INFO] [stdout] test stress_extreme_large_module ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.17s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/suggest_tests.rs (/opt/rustwide/target/debug/deps/suggest_tests-2f18ce2f56c9c080)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stderr]      Running tests/symbolic_integration_tests.rs (/opt/rustwide/target/debug/deps/symbolic_integration_tests-307517c3739c7a9a)
[INFO] [stdout] test suggest_picks_closest ... ok
[INFO] [stdout] test suggest_single_char_edit ... ok
[INFO] [stdout] test suggest_no_match_when_too_different ... ok
[INFO] [stdout] test suggest_typo_correction ... ok
[INFO] [stdout] test suggest_empty_candidates ... ok
[INFO] [stdout] test suggest_skips_exact_match ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 20 tests
[INFO] [stdout] test eval_nested_binary ... ok
[INFO] [stdout] test eval_binary_expr ... ok
[INFO] [stdout] test eval_signal_found ... ok
[INFO] [stdout] test eval_signal_not_found_is_top ... ok
[INFO] [stdout] test lookup_returns_top_for_empty ... ok
[INFO] [stdout] test sym_concrete_boolean ... ok
[INFO] [stdout] test sym_eval_literal_integer ... ok
[INFO] [stdout] test sym_eval_literal_bool ... ok
[INFO] [stdout] test sym_concrete_comparison ... ok
[INFO] [stdout] test sym_refinement_check_fail ... ok
[INFO] [stdout] test sym_unary_not ... ok
[INFO] [stdout] test sym_unary_on_top ... ok
[INFO] [stdout] test sym_unary_negate_widens ... ok
[INFO] [stdout] test sym_unknown_propagation ... ok
[INFO] [stdout] test sym_widen_concrete_to_interval ... ok
[INFO] [stdout] test sym_widen_intervals_to_unknown ... ok
[INFO] [stdout] test sym_widen_same_is_stable ... ok
[INFO] [stdout] test sym_concrete_arithmetic ... ok
[INFO] [stdout] test sym_refinement_check_pass ... ok
[INFO] [stdout] test sym_top_absorbs ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/symbolic_tests.rs (/opt/rustwide/target/debug/deps/symbolic_tests-3fcc7419a98fe38e)
[INFO] [stdout] 
[INFO] [stdout] running 28 tests
[INFO] [stdout] test test_interval_overflow_saturates ... ok
[INFO] [stdout] test test_sym_check_refinement_fail ... ok
[INFO] [stdout] test test_match_word_first_match_wins ... ok
[INFO] [stdout] test test_match_word_no_match ... ok
[INFO] [stdout] test test_match_word_tag_only ... ok
[INFO] [stdout] test test_signed_signal_unknown ... ok
[INFO] [stdout] test test_match_word_bounded ... ok
[INFO] [stdout] test test_sym_eval_binary_concrete_add ... ok
[INFO] [stdout] test test_sym_check_refinement_pass ... ok
[INFO] [stdout] test test_sym_eval_binary_expr ... ok
[INFO] [stdout] test test_sym_eval_literal ... ok
[INFO] [stdout] test test_sym_eval_signal_lookup ... ok
[INFO] [stdout] test test_sym_eval_top_propagates ... ok
[INFO] [stdout] test test_sym_eval_unary_not_concrete ... ok
[INFO] [stdout] test test_sym_value_concrete ... ok
[INFO] [stdout] test test_sym_value_interval_add ... ok
[INFO] [stdout] test test_sym_value_interval_lt_definite ... ok
[INFO] [stdout] test test_sym_value_interval_lt_indefinite ... ok
[INFO] [stdout] test test_sym_value_interval_mul ... ok
[INFO] [stdout] test test_sym_eval_unary_negate_unknown ... ok
[INFO] [stdout] test test_sym_value_interval_lt_false ... ok
[INFO] [stdout] test test_sym_value_interval_sub ... ok
[INFO] [stdout] test test_pipeline_symbolic_enabled ... ok
[INFO] [stdout] test test_sym_widen_same ... ok
[INFO] [stdout] test test_sym_widen_to_top ... ok
[INFO] [stdout] test test_sym_widen_expand ... ok
[INFO] [stdout] test test_pipeline_symbolic_disabled ... ok
[INFO] [stderr]      Running tests/synth_yosys_tests.rs (/opt/rustwide/target/debug/deps/synth_yosys_tests-863e0d90b680b432)
[INFO] [stdout] test test_sym_check_refinement_top ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 28 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test synth_bind_file_empty_for_no_properties ... ok
[INFO] [stdout] test synth_bind_file_has_bind_and_sva ... ok
[INFO] [stdout] test synth_all_examples_strip_sva ... ok
[INFO] [stdout] test synth_tmr_strips_all_sva ... ok
[INFO] [stdout] test synth_tmr_preserves_rtl ... ok
[INFO] [stderr]      Running tests/temporal_compiler_tests.rs (/opt/rustwide/target/debug/deps/temporal_compiler_tests-80beb4a8d9b1c94b)
[INFO] [stdout] test synth_yosys_all_examples ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 32 tests
[INFO] [stdout] test test_and_combination_produces_complex_guard ... ok
[INFO] [stdout] test test_condition_kind_describe_and_primary_signal ... ok
[INFO] [stdout] test test_comparison_operators_all_six ... ok
[INFO] [stdout] test test_condition_kind_stored_in_counter_ir ... ok
[INFO] [stdout] test test_counter_1000_cycles_and_width ... ok
[INFO] [stdout] test test_condition_kind_stored_in_sr_ir ... ok
[INFO] [stdout] test test_condition_kind_try_from_expr ... ok
[INFO] [stdout] test test_empty_module_no_guards ... ok
[INFO] [stdout] test test_counter_signal_naming ... ok
[INFO] [stdout] test test_multiple_guards_in_module ... ok
[INFO] [stdout] test test_generated_signal_kinds_counter ... ok
[INFO] [stdout] test test_generated_signal_kinds_shift_register ... ok
[INFO] [stdout] test test_negated_signal_direct_construction ... ok
[INFO] [stdout] test test_negated_signal_guard ... ok
[INFO] [stdout] test test_one_cycle_shift_register ... ok
[INFO] [stdout] test test_netlist_statistics_counter ... ok
[INFO] [stdout] test test_resource_estimator ... ok
[INFO] [stdout] test test_netlist_statistics_mixed_guards ... ok
[INFO] [stdout] test test_netlist_statistics_shift_register ... ok
[INFO] [stdout] test test_strategy_selection_at_boundaries ... ok
[INFO] [stdout] test test_simple_signal_counter ... ok
[INFO] [stdout] test test_threshold_boundary_16_uses_shift_register ... ok
[INFO] [stdout] test test_netlist_summary_format ... ok
[INFO] [stdout] test test_threshold_boundary_17_uses_counter ... ok
[INFO] [stdout] test test_shift_register_stage_naming ... ok
[INFO] [stdout] test test_unsupported_negation_of_non_signal ... ok
[INFO] [stdout] test test_simple_signal_shift_register ... ok
[INFO] [stdout] test test_unsupported_condition_arithmetic ... ok
[INFO] [stdout] test test_unsupported_condition_prev ... ok
[INFO] [stdout] test test_zero_cycle_guard ... ok
[INFO] [stdout] test test_unsupported_condition_literal ... ok
[INFO] [stdout] test test_counter_width_calculations ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 32 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/temporal_edge_cases_tests.rs (/opt/rustwide/target/debug/deps/temporal_edge_cases_tests-f0637ef234cb8d2d)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test condition_kind_rejects_bare_literal ... ok
[INFO] [stdout] test condition_kind_rejects_literal_on_left_comparison ... ok
[INFO] [stdout] test complex_guard_or_combination_compiles ... ok
[INFO] [stdout] test condition_kind_rejects_negation_of_non_signal ... ok
[INFO] [stdout] test condition_kind_rejects_prev_as_guard ... ok
[INFO] [stdout] test temporal_dot_emit_complex_guard_cluster ... ok
[INFO] [stdout] test temporal_dot_emit_empty_netlist ... ok
[INFO] [stdout] test temporal_netlist_summary_contains_expected_lines ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/temporal_emit_tests.rs (/opt/rustwide/target/debug/deps/temporal_emit_tests-0bbe6300fa0639d3)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test test_dot_counter_cluster ... ok
[INFO] [stdout] test test_json_emission_structure ... ok
[INFO] [stdout] test test_dot_emission_structure ... ok
[INFO] [stderr]      Running tests/temporal_guard_determinism.rs (/opt/rustwide/target/debug/deps/temporal_guard_determinism-0d866915f20e08ee)
[INFO] [stdout] test test_json_counter_variant ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test temporal_guard_determinism_repeatable ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/temporal_lowering_tests.rs (/opt/rustwide/target/debug/deps/temporal_lowering_tests-34b0cd8d5efe55f4)
[INFO] [stdout] 
[INFO] [stdout] running 14 tests
[INFO] [stdout] test test_comparison_condition_lowering ... ok
[INFO] [stdout] test test_condition_kind_stored_in_counter_ir ... ok
[INFO] [stdout] test test_complex_guard_lowering ... ok
[INFO] [stdout] test test_condition_kind_stored_in_shift_register_ir ... ok
[INFO] [stdout] test test_counter_compilation ... ok
[INFO] [stdout] test test_generated_signal_counts ... ok
[INFO] [stdout] test test_guard_names_preserved ... ok
[INFO] [stdout] test test_negated_signal_condition_lowering ... ok
[INFO] [stdout] test test_zero_delay_guard ... ok
[INFO] [stdout] test test_mixed_guard_compilation ... ok
[INFO] [stdout] test test_shift_register_compilation ... ok
[INFO] [stdout] test test_netlist_fixture_parity_neonatal_respirator ... ok
[INFO] [stdout] test test_unsupported_condition_is_rejected ... ok
[INFO] [stdout] test test_neonatal_respirator_compiles ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 14 tests
[INFO] [stdout] test clock_domain_bounded ... ok
[INFO] [stdout] test clock_domain_default ... ok
[INFO] [stdout] test clock_domain_crossing_creation ... ok
[INFO] [stdout] test clock_domain_with_frequency ... ok
[INFO] [stdout] test dynamic_counter_guard_creation ... ok
[INFO] [stdout] test dynamic_counter_width_1 ... ok
[INFO] [stdout] test dynamic_counter_in_netlist ... ok
[INFO] [stdout] test dynamic_counter_width_20bit ... ok
[INFO] [stdout] test dynamic_counter_width_8bit ... ok
[INFO] [stdout] test max_dynamic_delay_constant ... ok
[INFO] [stdout] test retiming_config_default ... ok
[INFO] [stdout] test retiming_bounded_nodes ... ok
[INFO] [stdout] test retiming_bounded_passes ... ok
[INFO] [stdout] test retiming_stats_fields ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/temporal_phase2b_tests.rs (/opt/rustwide/target/debug/deps/temporal_phase2b_tests-821b22e94d8a8bb4)
[INFO] [stderr]      Running tests/temporal_resource_tests.rs (/opt/rustwide/target/debug/deps/temporal_resource_tests-5ecb3873e8d1b751)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test test_counter_resource_est_large_delay ... ok
[INFO] [stdout] test test_counter_resource_est ... ok
[INFO] [stdout] test test_counter_width_calculation ... ok
[INFO] [stdout] test test_shift_register_resource_est_single_cycle ... ok
[INFO] [stdout] test test_strategy_selection_threshold ... ok
[INFO] [stdout] test test_shift_register_resource_est ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/toolchain_tests.rs (/opt/rustwide/target/debug/deps/toolchain_tests-b81a235f7dcb5fa3)
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test test_eqy_config_generation ... ok
[INFO] [stdout] test test_invoke_tool_not_found ... ok
[INFO] [stdout] test test_normalize_path_forward_slashes_unchanged ... ok
[INFO] [stdout] test test_sby_config_bmc_default ... ok
[INFO] [stdout] test test_tool_binary_names_exhaustive ... ok
[INFO] [stdout] test test_sby_config_bmc_generation ... ok
[INFO] [stdout] test test_tool_registry_new_is_empty ... ok
[INFO] [stdout] test test_eqy_config_mingw_paths ... ok
[INFO] [stdout] test test_sby_config_with_prove_and_bind ... ok
[INFO] [stdout] test test_sby_depth_clamped_to_max ... ok
[INFO] [stdout] test test_toolchain_error_display_messages ... ok
[INFO] [stdout] test test_normalize_path_backslashes ... ok
[INFO] [stderr]      Running tests/typecheck_tests.rs (/opt/rustwide/target/debug/deps/typecheck_tests-6039127ab5570e2c)
[INFO] [stdout] test test_sby_engine_from_str ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 33 tests
[INFO] [stdout] test assignment_same_type_passes ... ok
[INFO] [stdout] test comparison_produces_bool ... ok
[INFO] [stdout] test assignment_type_mismatch_rejected_e602 ... ok
[INFO] [stdout] test arithmetic_on_bool_rejected_e603 ... ok
[INFO] [stdout] test assignment_bool_to_bool_passes ... ok
[INFO] [stdout] test assignment_unsigned_to_bool_rejected_e602 ... ok
[INFO] [stdout] test equality_cross_category_rejected_e606 ... ok
[INFO] [stdout] test equality_same_type_passes ... ok
[INFO] [stdout] test guard_condition_bool_signal_passes ... ok
[INFO] [stdout] test equality_bool_bool_passes ... ok
[INFO] [stdout] test bool_to_u1_promotion_passes ... ok
[INFO] [stdout] test arithmetic_unsigned_passes ... ok
[INFO] [stdout] test logical_and_bool_passes ... ok
[INFO] [stdout] test guard_condition_comparison_passes ... ok
[INFO] [stdout] test guard_condition_unsigned_rejected_e601 ... ok
[INFO] [stdout] test literal_bool_is_bool ... ok
[INFO] [stdout] test nested_comparison_and_logical ... ok
[INFO] [stdout] test logical_on_unsigned_rejected_e604 ... ok
[INFO] [stdout] test not_unsigned_passes ... ok
[INFO] [stdout] test literal_integer_is_unsigned ... ok
[INFO] [stdout] test not_bool_passes ... ok
[INFO] [stdout] test nested_arithmetic_in_comparison ... ok
[INFO] [stdout] test parse_and_typecheck_well_typed_source ... ok
[INFO] [stdout] test pipeline_typecheck_enabled_works ... ok
[INFO] [stdout] test prev_preserves_bool_type ... ok
[INFO] [stdout] test ordering_on_bool_rejected_e605 ... ok
[INFO] [stdout] test pipeline_typecheck_disabled_skips ... ok
[INFO] [stdout] test prev_preserves_unsigned_type ... ok
[INFO] [stderr]      Running tests/typeck_extended_deep_effects_tests.rs (/opt/rustwide/target/debug/deps/typeck_extended_deep_effects_tests-46ff5d5d8125683b)
[INFO] [stdout] test shift_unsigned_passes ... ok
[INFO] [stdout] test unsigned_narrowing_u16_to_u8_rejected ... ok
[INFO] [stdout] test unsigned_widening_u6_to_u8_passes ... ok
[INFO] [stdout] test xor_mismatched_rejected_e607 ... ok
[INFO] [stdout] test xor_same_type_passes ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 33 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test empty_signals_ok ... ok
[INFO] [stderr]      Running tests/typeck_extended_deep_phantom_tests.rs (/opt/rustwide/target/debug/deps/typeck_extended_deep_phantom_tests-2bf2f9d53d15b02a)
[INFO] [stdout] test no_qualifiers_no_error ... ok
[INFO] [stdout] test multiple_no_qualifier_signals ... ok
[INFO] [stdout] test mixed_qualifiers_no_panic ... ok
[INFO] [stdout] test linear_qualifier_no_panic ... ok
[INFO] [stdout] test stateful_qualifier_accepted ... ok
[INFO] [stdout] test pure_qualifier_accepted ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test empty_phantom_name_accepted ... ok
[INFO] [stdout] test mixed_phantom_and_plain ... ok
[INFO] [stdout] test phantom_accepted_in_typecheck ... ok
[INFO] [stdout] test no_phantom_default ... ok
[INFO] [stdout] test different_phantoms_no_panic ... ok
[INFO] [stdout] test same_phantom_two_signals_no_panic ... ok
[INFO] [stdout] test phantom_tag_name_preserved ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/typeck_extended_deep_refinement_tests.rs (/opt/rustwide/target/debug/deps/typeck_extended_deep_refinement_tests-ffbe1b6f61779828)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test max_refinement_constructed ... ok
[INFO] [stdout] test multiple_refinements_combined ... ok
[INFO] [stdout] test no_refinements_no_error ... ok
[INFO] [stdout] test refinement_bound_literal_value ... ok
[INFO] [stdout] test nonzero_refinement ... ok
[INFO] [stdout] test range_refinement_constructed ... ok
[INFO] [stdout] test min_refinement_constructed ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/ui_tests.rs (/opt/rustwide/target/debug/deps/ui_tests-457f51d71ffed4ba)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test ui_test_suite ... ok
[INFO] [stderr]      Running tests/validation_tests.rs (/opt/rustwide/target/debug/deps/validation_tests-37181b555674b459)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test validate_neonatal_respirator ... ok
[INFO] [stdout] test validate_err_assign_to_undeclared ... ok
[INFO] [stdout] test validate_err_guard_references_undeclared_signal ... ok
[INFO] [stdout] test validate_err_assignment_rhs_undeclared ... ok
[INFO] [stdout] test validate_err_reflex_references_undeclared_guard ... ok
[INFO] [stderr]      Running tests/width_inference_tests.rs (/opt/rustwide/target/debug/deps/width_inference_tests-d66fb086326fb89b)
[INFO] [stdout] test validate_err_assign_to_input ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 67 tests
[INFO] [stdout] test add_at_u64_boundary ... ok
[INFO] [stdout] test add_chain_u8_three_times_needs_u10 ... ok
[INFO] [stdout] test add_exceeds_u64_boundary ... ok
[INFO] [stdout] test add_u32_u32_needs_u33 ... ok
[INFO] [stdout] test add_exceeds_u64_exact_diagnostic_text ... ok
[INFO] [stdout] test add_u8_u16_needs_u17 ... ok
[INFO] [stdout] test add_u8_u8_needs_u9 ... ok
[INFO] [stdout] test eq_produces_1_bit ... ok
[INFO] [stdout] test literal_256_needs_9_bits ... ok
[INFO] [stdout] test literal_255_needs_8_bits ... ok
[INFO] [stdout] test ge_produces_1_bit ... ok
[INFO] [stdout] test literal_bool_true_needs_1_bit ... ok
[INFO] [stdout] test display_format_simple ... ok
[INFO] [stdout] test display_format_binary ... ok
[INFO] [stdout] test and_u8_u16_needs_u16 ... ok
[INFO] [stdout] test literal_bool_false_needs_1_bit ... ok
[INFO] [stdout] test literal_one_needs_1_bit ... ok
[INFO] [stdout] test literal_u16_max_needs_16_bits ... ok
[INFO] [stdout] test literal_u32_max_needs_32_bits ... ok
[INFO] [stdout] test literal_zero_needs_1_bit ... ok
[INFO] [stdout] test literal_u64_max_needs_64_bits ... ok
[INFO] [stdout] test mul_u16_u16_needs_u32 ... ok
[INFO] [stdout] test lt_produces_1_bit ... ok
[INFO] [stdout] test mul_chain_overflows ... ok
[INFO] [stdout] test mul_u8_u8_needs_u16 ... ok
[INFO] [stdout] test mul_u32_u32_needs_u64 ... ok
[INFO] [stdout] test ne_produces_1_bit ... ok
[INFO] [stdout] test mul_u32_u33_exceeds_64_bits_error ... ok
[INFO] [stdout] test program_detects_truncation_in_reflex ... ok
[INFO] [stdout] test program_width_inference_basic ... ok
[INFO] [stdout] test not_bool_stays_1_bit ... ok
[INFO] [stdout] test no_truncation_when_target_wider ... ok
[INFO] [stdout] test not_preserves_width_u16 ... ok
[INFO] [stdout] test nested_mixed_ops_width ... ok
[INFO] [stdout] test no_truncation_when_widths_match ... ok
[INFO] [stdout] test or_u8_u8_needs_u8 ... ok
[INFO] [stdout] test shl_by_63_clamped ... ok
[INFO] [stdout] test shl_u8_by_3_needs_u11 ... ok
[INFO] [stdout] test shl_variable_shift_uses_worst_case ... ok
[INFO] [stdout] test shl_u8_by_0_needs_u8 ... ok
[INFO] [stdout] test signal_bool_has_width_1 ... ok
[INFO] [stdout] test signal_undeclared_exact_diagnostic_text ... ok
[INFO] [stdout] test shr_by_full_width_clamps_to_1 ... ok
[INFO] [stdout] test shr_constant_shift_narrows_width ... ok
[INFO] [stdout] test shr_variable_shift_preserves_full_width ... ok
[INFO] [stdout] test signal_u32_has_width_32 ... ok
[INFO] [stdout] test signal_u8_has_width_8 ... ok
[INFO] [stdout] test signal_undeclared_produces_error ... ok
[INFO] [stdout] test simplifier_folds_double_negation_width ... ok
[INFO] [stdout] test simplifier_folds_mul_by_one_then_width_correct ... ok
[INFO] [stdout] test single_literal_node ... ok
[INFO] [stdout] test simplifier_folds_zero_add_then_width_correct ... ok
[INFO] [stdout] test simplifier_reduces_constant_then_width_inferred ... ok
[INFO] [stdout] test stats_propagation_rounds_at_least_one ... ok
[INFO] [stdout] test sub_underflow_info_exact_text ... ok
[INFO] [stdout] test sub_literal_underflow_possible_emits_info ... ok
[INFO] [stdout] test truncation_exact_text ... ok
[INFO] [stdout] test sub_emits_underflow_info ... ok
[INFO] [stdout] test width_64_is_maximum_allowed ... ok
[INFO] [stdout] test width_diagnostic_display_format ... ok
[INFO] [stdout] test truncation_add_overflow_to_narrow_target ... ok
[INFO] [stdout] test sub_u16_u8_needs_u16 ... ok
[INFO] [stdout] test stats_report_correct_node_count ... ok
[INFO] [stdout] test width_diagnostic_info_display_format ... ok
[INFO] [stdout] test sub_literal_safe_no_underflow_info ... ok
[INFO] [stdout] test truncation_u16_to_u8_error ... ok
[INFO] [stdout] test xor_u32_u8_needs_u32 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 67 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stderr]      Running tests/width_scc_stress_tests.rs (/opt/rustwide/target/debug/deps/width_scc_stress_tests-58cc4cf4289fc8e4)
[INFO] [stdout] test width_scc_linear_dependency ... ok
[INFO] [stdout] test width_scc_single_signal ... ok
[INFO] [stdout] test width_scc_independent_signals ... FAILED
[INFO] [stdout] test width_scc_multiple_guards ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- width_scc_independent_signals stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'width_scc_independent_signals' (2564) panicked at tests/width_scc_stress_tests.rs:71:5:
[INFO] [stdout] independent signals should pass
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5e4ad2f5a7ca - std[f92b4c606f291077]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5e4ad2f5a7ca - std[f92b4c606f291077]::backtrace_rs::backtrace::trace_unsynchronized::<std[f92b4c606f291077]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5e4ad2f5a7ca - std[f92b4c606f291077]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x5e4ad2f5a7ca - <<std[f92b4c606f291077]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[786f478f706679df]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x5e4ad2f6e60a - <core[786f478f706679df]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x5e4ad2f6e60a - core[786f478f706679df]::fmt::write
[INFO] [stdout]    6:     0x5e4ad2f5f052 - std[f92b4c606f291077]::io::default_write_fmt::<alloc[64763625b5a07cdb]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x5e4ad2f5f052 - <alloc[64763625b5a07cdb]::vec::Vec<u8> as std[f92b4c606f291077]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x5e4ad2f399ef - <std[f92b4c606f291077]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x5e4ad2f399ef - std[f92b4c606f291077]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x5e4ad2f52d89 - std[f92b4c606f291077]::panicking::default_hook
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x5e4ad2dc24cc - <alloc[64763625b5a07cdb]::boxed::Box<dyn for<'a, 'b> core[786f478f706679df]::ops::function::Fn<(&'a std[f92b4c606f291077]::panic::PanicHookInfo<'b>,), Output = ()> + core[786f478f706679df]::marker::Sync + core[786f478f706679df]::marker::Send> as core[786f478f706679df]::ops::function::Fn<(&std[f92b4c606f291077]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/alloc/src/boxed.rs:2254:9
[INFO] [stdout]   12:     0x5e4ad2dc24cc - test[20e1f0ae6cad7a17]::test_main_with_exit_callback::<test[20e1f0ae6cad7a17]::test_main::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x5e4ad2f52f42 - <alloc[64763625b5a07cdb]::boxed::Box<dyn for<'a, 'b> core[786f478f706679df]::ops::function::Fn<(&'a std[f92b4c606f291077]::panic::PanicHookInfo<'b>,), Output = ()> + core[786f478f706679df]::marker::Sync + core[786f478f706679df]::marker::Send> as core[786f478f706679df]::ops::function::Fn<(&std[f92b4c606f291077]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/alloc/src/boxed.rs:2254:9
[INFO] [stdout]   14:     0x5e4ad2f52f42 - std[f92b4c606f291077]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x5e4ad2f39ada - std[f92b4c606f291077]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/panicking.rs:691:13
[INFO] [stdout]   16:     0x5e4ad2f31449 - std[f92b4c606f291077]::sys::backtrace::__rust_end_short_backtrace::<std[f92b4c606f291077]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x5e4ad2f3a7bd - __rustc[8241495c18a89d70]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x5e4ad2f6ed9c - core[786f478f706679df]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x5e4ad2db5789 - width_scc_stress_tests[3a3d81df753fcd4c]::width_scc_independent_signals
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/width_scc_stress_tests.rs:71:5
[INFO] [stdout]   20:     0x5e4ad2db50a7 - width_scc_stress_tests[3a3d81df753fcd4c]::width_scc_independent_signals::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/width_scc_stress_tests.rs:42:35
[INFO] [stdout]   21:     0x5e4ad2db6506 - <width_scc_stress_tests[3a3d81df753fcd4c]::width_scc_independent_signals::{closure#0} as core[786f478f706679df]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   22:     0x5e4ad2db65ab - <fn() -> core[786f478f706679df]::result::Result<(), alloc[64763625b5a07cdb]::string::String> as core[786f478f706679df]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x5e4ad2db65ab - test[20e1f0ae6cad7a17]::__rust_begin_short_backtrace::<core[786f478f706679df]::result::Result<(), alloc[64763625b5a07cdb]::string::String>, fn() -> core[786f478f706679df]::result::Result<(), alloc[64763625b5a07cdb]::string::String>>
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/test/src/lib.rs:663:18
[INFO] [stdout]   24:     0x5e4ad2dc2f9b - test[20e1f0ae6cad7a17]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/test/src/lib.rs:686:74
[INFO] [stdout]   25:     0x5e4ad2dc2f9b - <core[786f478f706679df]::panic::unwind_safe::AssertUnwindSafe<test[20e1f0ae6cad7a17]::run_test_in_process::{closure#0}> as core[786f478f706679df]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   26:     0x5e4ad2dc2f9b - std[f92b4c606f291077]::panicking::catch_unwind::do_call::<core[786f478f706679df]::panic::unwind_safe::AssertUnwindSafe<test[20e1f0ae6cad7a17]::run_test_in_process::{closure#0}>, core[786f478f706679df]::result::Result<(), alloc[64763625b5a07cdb]::string::String>>
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/panicking.rs:581:40
[INFO] [stdout]   27:     0x5e4ad2dc2f9b - std[f92b4c606f291077]::panicking::catch_unwind::<core[786f478f706679df]::result::Result<(), alloc[64763625b5a07cdb]::string::String>, core[786f478f706679df]::panic::unwind_safe::AssertUnwindSafe<test[20e1f0ae6cad7a17]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/panicking.rs:544:19
[INFO] [stdout]   28:     0x5e4ad2dc2f9b - std[f92b4c606f291077]::panic::catch_unwind::<core[786f478f706679df]::panic::unwind_safe::AssertUnwindSafe<test[20e1f0ae6cad7a17]::run_test_in_process::{closure#0}>, core[786f478f706679df]::result::Result<(), alloc[64763625b5a07cdb]::string::String>>
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/panic.rs:359:14
[INFO] [stdout]   29:     0x5e4ad2dc2f9b - test[20e1f0ae6cad7a17]::run_test_in_process
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/test/src/lib.rs:686:27
[INFO] [stdout]   30:     0x5e4ad2dc2f9b - test[20e1f0ae6cad7a17]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/test/src/lib.rs:607:43
[INFO] [stdout]   31:     0x5e4ad2dbe6b4 - test[20e1f0ae6cad7a17]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/test/src/lib.rs:637:41
[INFO] [stdout]   32:     0x5e4ad2dbe6b4 - std[f92b4c606f291077]::sys::backtrace::__rust_begin_short_backtrace::<test[20e1f0ae6cad7a17]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   33:     0x5e4ad2dc5ba2 - std[f92b4c606f291077]::thread::lifecycle::spawn_unchecked::<test[20e1f0ae6cad7a17]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   34:     0x5e4ad2dc5ba2 - <core[786f478f706679df]::panic::unwind_safe::AssertUnwindSafe<std[f92b4c606f291077]::thread::lifecycle::spawn_unchecked<test[20e1f0ae6cad7a17]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[786f478f706679df]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   35:     0x5e4ad2dc5ba2 - std[f92b4c606f291077]::panicking::catch_unwind::do_call::<core[786f478f706679df]::panic::unwind_safe::AssertUnwindSafe<std[f92b4c606f291077]::thread::lifecycle::spawn_unchecked<test[20e1f0ae6cad7a17]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/panicking.rs:581:40
[INFO] [stdout]   36:     0x5e4ad2dc5ba2 - std[f92b4c606f291077]::panicking::catch_unwind::<(), core[786f478f706679df]::panic::unwind_safe::AssertUnwindSafe<std[f92b4c606f291077]::thread::lifecycle::spawn_unchecked<test[20e1f0ae6cad7a17]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/panicking.rs:544:19
[INFO] [stdout]   37:     0x5e4ad2dc5ba2 - std[f92b4c606f291077]::panic::catch_unwind::<core[786f478f706679df]::panic::unwind_safe::AssertUnwindSafe<std[f92b4c606f291077]::thread::lifecycle::spawn_unchecked<test[20e1f0ae6cad7a17]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/panic.rs:359:14
[INFO] [stdout]   38:     0x5e4ad2dc5ba2 - std[f92b4c606f291077]::thread::lifecycle::spawn_unchecked::<test[20e1f0ae6cad7a17]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   39:     0x5e4ad2dc5ba2 - <std[f92b4c606f291077]::thread::lifecycle::spawn_unchecked<test[20e1f0ae6cad7a17]::run_test::{closure#1}, ()>::{closure#1} as core[786f478f706679df]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   40:     0x5e4ad2f5a0df - <alloc[64763625b5a07cdb]::boxed::Box<dyn core[786f478f706679df]::ops::function::FnOnce<(), Output = ()> + core[786f478f706679df]::marker::Send> as core[786f478f706679df]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/alloc/src/boxed.rs:2240:9
[INFO] [stdout]   41:     0x5e4ad2f5a0df - <std[f92b4c606f291077]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   42:     0x776495283aa4 - <unknown>
[INFO] [stdout]   43:     0x776495310a64 - clone
[INFO] [stdout]   44:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- width_scc_multiple_guards stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'width_scc_multiple_guards' (2566) panicked at tests/width_scc_stress_tests.rs:98:5:
[INFO] [stdout] multiple guards should pass
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5e4ad2f5a7ca - std[f92b4c606f291077]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5e4ad2f5a7ca - std[f92b4c606f291077]::backtrace_rs::backtrace::trace_unsynchronized::<std[f92b4c606f291077]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5e4ad2f5a7ca - std[f92b4c606f291077]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x5e4ad2f5a7ca - <<std[f92b4c606f291077]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[786f478f706679df]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x5e4ad2f6e60a - <core[786f478f706679df]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x5e4ad2f6e60a - core[786f478f706679df]::fmt::write
[INFO] [stdout]    6:     0x5e4ad2f5f052 - std[f92b4c606f291077]::io::default_write_fmt::<alloc[64763625b5a07cdb]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x5e4ad2f5f052 - <alloc[64763625b5a07cdb]::vec::Vec<u8> as std[f92b4c606f291077]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x5e4ad2f399ef - <std[f92b4c606f291077]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x5e4ad2f399ef - std[f92b4c606f291077]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x5e4ad2f52d89 - std[f92b4c606f291077]::panicking::default_hook
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x5e4ad2dc24cc - <alloc[64763625b5a07cdb]::boxed::Box<dyn for<'a, 'b> core[786f478f706679df]::ops::function::Fn<(&'a std[f92b4c606f291077]::panic::PanicHookInfo<'b>,), Output = ()> + core[786f478f706679df]::marker::Sync + core[786f478f706679df]::marker::Send> as core[786f478f706679df]::ops::function::Fn<(&std[f92b4c606f291077]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/alloc/src/boxed.rs:2254:9
[INFO] [stdout]   12:     0x5e4ad2dc24cc - test[20e1f0ae6cad7a17]::test_main_with_exit_callback::<test[20e1f0ae6cad7a17]::test_main::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x5e4ad2f52f42 - <alloc[64763625b5a07cdb]::boxed::Box<dyn for<'a, 'b> core[786f478f706679df]::ops::function::Fn<(&'a std[f92b4c606f291077]::panic::PanicHookInfo<'b>,), Output = ()> + core[786f478f706679df]::marker::Sync + core[786f478f706679df]::marker::Send> as core[786f478f706679df]::ops::function::Fn<(&std[f92b4c606f291077]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/alloc/src/boxed.rs:2254:9
[INFO] [stdout]   14:     0x5e4ad2f52f42 - std[f92b4c606f291077]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x5e4ad2f39ada - std[f92b4c606f291077]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/panicking.rs:691:13
[INFO] [stdout]   16:     0x5e4ad2f31449 - std[f92b4c606f291077]::sys::backtrace::__rust_end_short_backtrace::<std[f92b4c606f291077]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x5e4ad2f3a7bd - __rustc[8241495c18a89d70]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x5e4ad2f6ed9c - core[786f478f706679df]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x5e4ad2db53e9 - width_scc_stress_tests[3a3d81df753fcd4c]::width_scc_multiple_guards
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/width_scc_stress_tests.rs:98:5
[INFO] [stdout]   20:     0x5e4ad2db5047 - width_scc_stress_tests[3a3d81df753fcd4c]::width_scc_multiple_guards::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/width_scc_stress_tests.rs:75:31
[INFO] [stdout]   21:     0x5e4ad2db6486 - <width_scc_stress_tests[3a3d81df753fcd4c]::width_scc_multiple_guards::{closure#0} as core[786f478f706679df]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   22:     0x5e4ad2db65ab - <fn() -> core[786f478f706679df]::result::Result<(), alloc[64763625b5a07cdb]::string::String> as core[786f478f706679df]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x5e4ad2db65ab - test[20e1f0ae6cad7a17]::__rust_begin_short_backtrace::<core[786f478f706679df]::result::Result<(), alloc[64763625b5a07cdb]::string::String>, fn() -> core[786f478f706679df]::result::Result<(), alloc[64763625b5a07cdb]::string::String>>
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/test/src/lib.rs:663:18
[INFO] [stdout]   24:     0x5e4ad2dc2f9b - test[20e1f0ae6cad7a17]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/test/src/lib.rs:686:74
[INFO] [stdout]   25:     0x5e4ad2dc2f9b - <core[786f478f706679df]::panic::unwind_safe::AssertUnwindSafe<test[20e1f0ae6cad7a17]::run_test_in_process::{closure#0}> as core[786f478f706679df]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   26:     0x5e4ad2dc2f9b - std[f92b4c606f291077]::panicking::catch_unwind::do_call::<core[786f478f706679df]::panic::unwind_safe::AssertUnwindSafe<test[20e1f0ae6cad7a17]::run_test_in_process::{closure#0}>, core[786f478f706679df]::result::Result<(), alloc[64763625b5a07cdb]::string::String>>
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/panicking.rs:581:40
[INFO] [stdout]   27:     0x5e4ad2dc2f9b - std[f92b4c606f291077]::panicking::catch_unwind::<core[786f478f706679df]::result::Result<(), alloc[64763625b5a07cdb]::string::String>, core[786f478f706679df]::panic::unwind_safe::AssertUnwindSafe<test[20e1f0ae6cad7a17]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/panicking.rs:544:19
[INFO] [stdout]   28:     0x5e4ad2dc2f9b - std[f92b4c606f291077]::panic::catch_unwind::<core[786f478f706679df]::panic::unwind_safe::AssertUnwindSafe<test[20e1f0ae6cad7a17]::run_test_in_process::{closure#0}>, core[786f478f706679df]::result::Result<(), alloc[64763625b5a07cdb]::string::String>>
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/panic.rs:359:14
[INFO] [stdout]   29:     0x5e4ad2dc2f9b - test[20e1f0ae6cad7a17]::run_test_in_process
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/test/src/lib.rs:686:27
[INFO] [stdout]   30:     0x5e4ad2dc2f9b - test[20e1f0ae6cad7a17]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/test/src/lib.rs:607:43
[INFO] [stdout]   31:     0x5e4ad2dbe6b4 - test[20e1f0ae6cad7a17]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/test/src/lib.rs:637:41
[INFO] [stdout]   32:     0x5e4ad2dbe6b4 - std[f92b4c606f291077]::sys::backtrace::__rust_begin_short_backtrace::<test[20e1f0ae6cad7a17]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   33:     0x5e4ad2dc5ba2 - std[f92b4c606f291077]::thread::lifecycle::spawn_unchecked::<test[20e1f0ae6cad7a17]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   34:     0x5e4ad2dc5ba2 - <core[786f478f706679df]::panic::unwind_safe::AssertUnwindSafe<std[f92b4c606f291077]::thread::lifecycle::spawn_unchecked<test[20e1f0ae6cad7a17]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[786f478f706679df]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   35:     0x5e4ad2dc5ba2 - std[f92b4c606f291077]::panicking::catch_unwind::do_call::<core[786f478f706679df]::panic::unwind_safe::AssertUnwindSafe<std[f92b4c606f291077]::thread::lifecycle::spawn_unchecked<test[20e1f0ae6cad7a17]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/panicking.rs:581:40
[INFO] [stdout]   36:     0x5e4ad2dc5ba2 - std[f92b4c606f291077]::panicking::catch_unwind::<(), core[786f478f706679df]::panic::unwind_safe::AssertUnwindSafe<std[f92b4c606f291077]::thread::lifecycle::spawn_unchecked<test[20e1f0ae6cad7a17]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/panicking.rs:544:19
[INFO] [stdout]   37:     0x5e4ad2dc5ba2 - std[f92b4c606f291077]::panic::catch_unwind::<core[786f478f706679df]::panic::unwind_safe::AssertUnwindSafe<std[f92b4c606f291077]::thread::lifecycle::spawn_unchecked<test[20e1f0ae6cad7a17]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/panic.rs:359:14
[INFO] [stdout]   38:     0x5e4ad2dc5ba2 - std[f92b4c606f291077]::thread::lifecycle::spawn_unchecked::<test[20e1f0ae6cad7a17]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   39:     0x5e4ad2dc5ba2 - <std[f92b4c606f291077]::thread::lifecycle::spawn_unchecked<test[20e1f0ae6cad7a17]::run_test::{closure#1}, ()>::{closure#1} as core[786f478f706679df]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   40:     0x5e4ad2f5a0df - <alloc[64763625b5a07cdb]::boxed::Box<dyn core[786f478f706679df]::ops::function::FnOnce<(), Output = ()> + core[786f478f706679df]::marker::Send> as core[786f478f706679df]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/alloc/src/boxed.rs:2240:9
[INFO] [stdout]   41:     0x5e4ad2f5a0df - <std[f92b4c606f291077]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   42:     0x776495283aa4 - <unknown>
[INFO] [stdout]   43:     0x776495310a64 - clone
[INFO] [stdout]   44:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     width_scc_independent_signals
[INFO] [stdout]     width_scc_multiple_guards
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 2 passed; 2 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--test width_scc_stress_tests`
[INFO] running `Command { std: "docker" "inspect" "c1196765e249623752a83ded325391ac38593f08e9df5135c81efa3e6f940c08", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c1196765e249623752a83ded325391ac38593f08e9df5135c81efa3e6f940c08", kill_on_drop: false }`
[INFO] [stdout] c1196765e249623752a83ded325391ac38593f08e9df5135c81efa3e6f940c08
